X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FRuntime%2Fruntime.h;h=032eb29f3d94d248051289a85f3d2d6f96c6ccf5;hb=699712f7ed04e446729d5f95d6ffe880fc4d8b6f;hp=2ca7d2a7c220ca048539f01a34efec1c8a3a9dd5;hpb=7d0faf8b8e82d9d35de9c9e1bc540dd3f614b292;p=IRC.git

diff --git a/Robust/src/Runtime/runtime.h b/Robust/src/Runtime/runtime.h
index 2ca7d2a7..032eb29f 100644
--- a/Robust/src/Runtime/runtime.h
+++ b/Robust/src/Runtime/runtime.h
@@ -8,6 +8,14 @@ extern int failurecount;
 #include "dstm.h"
 #endif
 
+#ifndef INTPTR
+#ifdef BIT64
+#define INTPTR long
+#else
+#define INTPTR int
+#endif
+#endif
+
 extern void * curr_heapbase;
 extern void * curr_heaptop;