state.DSMTASK flag is added

[IRC.git] / Robust / src / IR / State.java

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index 9785db6cd5652d377aeddfc81bb43f1782bf7c63..ebec6914f8cac4f9f461a4cc532006b4b7678ba1 100644 (file)
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -52,6 +52,7 @@ public class State {
   public boolean TASK=false;
   public boolean FASTCHECK=false;
   public boolean DSM=false;
+  public boolean DSMTASK=false;
   public boolean PREFETCH=false;
   public boolean TASKSTATE=false;
   public boolean TAGSTATE=false;