From 4d79d5dd7c0c2f6d1ae361e4ab61449f2dc60276 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Thu, 20 Feb 2014 00:00:04 +0000
Subject: [PATCH] py: Fix type of integer in decoding int.

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

diff --git a/py/vm.c b/py/vm.c
index cab340ff38..77762a13af 100644
--- a/py/vm.c
+++ b/py/vm.c
@@ -157,7 +157,7 @@ dispatch_loop:
                         break;
 
                     case MP_BC_LOAD_CONST_SMALL_INT: {
-                        int num = 0;
+                        machine_int_t num = 0;
                         if ((ip[0] & 0x40) != 0) {
                             // Number is negative
                             num--;