thread id should be an int

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 965fbed29694c43f02421f8355e3aa343c69b2ed..6f679f6cd79b292016bf99590a8be96301921a32 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -612,7 +612,7 @@ public class BuildCode {
       outclassdefs.println("  int objuid;");
     }
     if (state.THREAD) {
-      outclassdefs.println("  pthread_t tid;");
+      outclassdefs.println("  volatile int tid;");
       outclassdefs.println("  volatile int notifycount;");
     }
     if(state.MGC) {
@@ -1549,7 +1549,7 @@ public class BuildCode {
       classdefout.println("  int objuid;");
     }
     if (state.THREAD) {
-      classdefout.println("  pthread_t tid;");
+      classdefout.println("  volatile int tid;");
       classdefout.println("  volatile int notifycount;");
     }
     if (state.MGC) {