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

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

diff --git a/Robust/src/IR/Tree/ConstraintCheck.java b/Robust/src/IR/Tree/ConstraintCheck.java
deleted file mode 100644 (file)
index 6af5360..0000000
--- a/Robust/src/IR/Tree/ConstraintCheck.java
+++ /dev/null
@@ -1,25 +0,0 @@
-package IR.Tree;
-
-import IR.*;
-
-public class ConstraintCheck {
-    String varname;
-    String specname;
-
-    public ConstraintCheck(String varname, String specname) {
-       this.varname=varname;
-       this.specname=specname;
-    }
-
-    public String getVarName() {
-       return varname;
-    }
-
-    public String getSpec() {
-       return specname;
-    }
-
-    public String printNode(int indent) {
-       return "assert "+varname+" "+specname;
-    }
-}