From: bdemsky <bdemsky>
Date: Mon, 11 Apr 2011 22:17:29 +0000 (+0000)
Subject: thread id should be an int
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=126d352118a0f6afb3af493924c0e2d9b936c593;p=IRC.git

thread id should be an int
---

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 965fbed2..6f679f6c 100644
--- 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) {