From 3dfa76cb85faa92a7301de686ec8d6b7666027f7 Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky <pfalcon@users.sourceforge.net>
Date: Sat, 31 May 2014 03:19:15 +0300
Subject: [PATCH] unix: 64-bit cleanness.

---
 unix/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/unix/main.c b/unix/main.c
index 938c133d41..c9f38d6139 100644
--- a/unix/main.c
+++ b/unix/main.c
@@ -215,7 +215,7 @@ mp_obj_t mem_info(void) {
     volatile int stack_dummy;
     printf("mem: total=%d, current=%d, peak=%d\n",
         m_get_total_bytes_allocated(), m_get_current_bytes_allocated(), m_get_peak_bytes_allocated());
-    printf("stack: %d\n", stack_top - (char*)&stack_dummy);
+    printf("stack: " INT_FMT "\n", stack_top - (char*)&stack_dummy);
 #if MICROPY_ENABLE_GC
     gc_dump_info();
 #endif