assigns workerID to the workerTR

[IRC.git] / Robust / src / Runtime / oooJava / rcr_runtime.h

diff --git a/Robust/src/Runtime/oooJava/rcr_runtime.h b/Robust/src/Runtime/oooJava/rcr_runtime.h
index e32e081b663c699b231e2d245c37ec95c9adfec9..50573c99064507bc8796e6a92a3b30e30889cb67 100644 (file)
--- a/Robust/src/Runtime/oooJava/rcr_runtime.h
+++ b/Robust/src/Runtime/oooJava/rcr_runtime.h
@@ -2,6 +2,7 @@
 #define RCR_RUNTIME_H
 
 extern __thread struct trQueue * TRqueue;
+extern __thread int myWorkerID;
 
 void * workerTR(void *);