From 4f8fad43dfd23c523d9f3f9de537e336662805f4 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sat, 22 Jun 2013 00:24:53 -0500
Subject: [PATCH] make sure BITS32 and 16 are what they say they are

---
 H/YapTerm.h | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/H/YapTerm.h b/H/YapTerm.h
index d9e7f1fb5..4a3356e60 100644
--- a/H/YapTerm.h
+++ b/H/YapTerm.h
@@ -101,10 +101,19 @@ typedef void *Atom;
 
 #endif
 
+
 typedef UInt CELL;
+#if HAVE_STDINT_H
+#include <stdint.h>
+
+typedef uint16_t BITS16;
+typedef int16_t SBITS16;
+typedef uint32_t BITS32;
+#else
 typedef UShort BITS16;
-typedef Short SBITS16;
+typedef Short  SBITS16;
 typedef UInt BITS32;
+#endif
 
 #define WordSize     sizeof(BITS16)
 #define CellSize     sizeof(CELL)