Bug fixes... Flagexpression parsing was broken.

[IRC.git] / Robust / src / IR / Tree / DNFFlagAtom.java

diff --git a/Robust/src/IR/Tree/DNFFlagAtom.java b/Robust/src/IR/Tree/DNFFlagAtom.java
index 09983029d37d0c53ac0b50a9da0d064f4de4b27c..7055720086e15fe839a3608b0ce994988902a70e 100644 (file)
--- a/Robust/src/IR/Tree/DNFFlagAtom.java
+++ b/Robust/src/IR/Tree/DNFFlagAtom.java
@@ -22,4 +22,11 @@ public class DNFFlagAtom {
     public boolean getNegated() {
        return negated;
     }
+
+    public String toString() {
+       if (negated)
+           return "!"+flag.toString();
+       else
+           return flag.toString();
+    }
 }