From 5491180e8c9038905ec38bab1d54fb1a1755e8d4 Mon Sep 17 00:00:00 2001
From: justin <justin.ethier@gmail.com>
Date: Tue, 14 Nov 2017 13:13:12 -0500
Subject: [PATCH] Prevent warning on 32-bit platforms

---
 include/cyclone/types.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/cyclone/types.h b/include/cyclone/types.h
index 65dc2d99..538db9c9 100644
--- a/include/cyclone/types.h
+++ b/include/cyclone/types.h
@@ -494,12 +494,12 @@ typedef uint32_t char_type;
 /**
  * Convert from an object to a char.
  */
-#define obj_obj2char(x) (char_type)((uintmax_t)(x)>>2)
+#define obj_obj2char(x) (char_type)((uintptr_t)(x)>>2)
 
 /**
  * Convert from a char to an object.
  */
-#define obj_char2obj(c) ((void *)((((uintmax_t)c)<<2) | 2))
+#define obj_char2obj(c) ((void *)((((uintptr_t)c)<<2) | 2))
 
 /**
  * Is the given object a value type?