From 126d352118a0f6afb3af493924c0e2d9b936c593 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 11 Apr 2011 22:17:29 +0000
Subject: [PATCH] thread id should be an int

---
 Robust/src/IR/Flat/BuildCode.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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) {
-- 
2.34.1