projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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;