start of new file

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

diff --git a/Robust/src/IR/Tree/FlagExpressionNode.java b/Robust/src/IR/Tree/FlagExpressionNode.java
index 6d27547ffcf89de3203892e0ef1c3c9f97464120..b00c8fe1eb855a7b07e3d5b067576658a4b43dca 100644 (file)
--- a/Robust/src/IR/Tree/FlagExpressionNode.java
+++ b/Robust/src/IR/Tree/FlagExpressionNode.java
@@ -5,4 +5,8 @@ public class FlagExpressionNode extends TreeNode {
     public String printNode(int indentlevel) {
        return null;
     }
+
+    public DNFFlag getDNF() {
+       throw new Error();
+    }
 }