start of new file

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / TagBinding.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java b/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java
index 6f8bbc5d0615dc9328fa318eb6725d27b4ecfa2d..e7360b96f6edf95411d6f168b46c48786e5ea9db 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java
@@ -50,6 +50,7 @@ public class TagBinding extends GraphNode {
                        return false;
                } else if(tb.tdarray[i]!=null)
                    return false;
+           return true;
        }
        return false;
     }