This commit was manufactured by cvs2svn to create tag 'buildscript'.

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

diff --git a/Robust/src/IR/Tree/DNFFlagAtom.java b/Robust/src/IR/Tree/DNFFlagAtom.java
deleted file mode 100644 (file)
index e1fd3cc..0000000
--- a/Robust/src/IR/Tree/DNFFlagAtom.java
+++ /dev/null
@@ -1,13 +0,0 @@
-package IR.Tree;
-
-import IR.*;
-
-public class DNFFlagAtom {
-    final FlagNode flag;
-    final boolean negated;
-
-    public DNFFlagAtom(FlagNode flag, boolean negated) {
-       this.flag=flag;
-       this.negated=negated;
-    }
-}