From 0379b55ab036921eaee96f07385d2329d8de97fd Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Sat, 22 Feb 2014 17:34:09 +0000
Subject: py: Fix casting and printing of small int.

---
 py/objint.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'py/objint.c')

diff --git a/py/objint.c b/py/objint.c
index b33557b64d..775e5644d0 100644
--- a/py/objint.c
+++ b/py/objint.c
@@ -47,7 +47,7 @@ STATIC mp_obj_t int_make_new(mp_obj_t type_in, uint n_args, uint n_kw, const mp_
 
 void int_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t self_in, mp_print_kind_t kind) {
     if (MP_OBJ_IS_SMALL_INT(self_in)) {
-        print(env, "%d", (int)MP_OBJ_SMALL_INT_VALUE(self_in));
+        print(env, INT_FMT, MP_OBJ_SMALL_INT_VALUE(self_in));
     }
 }
 
-- 
cgit v1.2.3