adding a test case

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

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