simulator updates

[IRC.git] / Robust / TransSim / ThreadInfo.java

diff --git a/Robust/TransSim/ThreadInfo.java b/Robust/TransSim/ThreadInfo.java
index e359e5d6531021a2ecc08bee9309bdd4439ce45e..48812c5d2398b8f0101ea8a9e11db0f1459ee578 100644 (file)
--- a/Robust/TransSim/ThreadInfo.java
+++ b/Robust/TransSim/ThreadInfo.java
@@ -8,6 +8,7 @@ public class ThreadInfo {
   boolean stalled;
   int oid;
   int index;
+  int priority;
 
   public void setObject(int oid) {
     this.oid=oid;