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

[IRC.git] / Robust / src / IR / Flat / FlatCheckNode.java

diff --git a/Robust/src/IR/Flat/FlatCheckNode.java b/Robust/src/IR/Flat/FlatCheckNode.java
deleted file mode 100644 (file)
index 146890c..0000000
--- a/Robust/src/IR/Flat/FlatCheckNode.java
+++ /dev/null
@@ -1,19 +0,0 @@
-package IR.Flat;
-
-public class FlatCheckNode extends FlatNode {
-    TempDescriptor td;
-    String spec;
-
-    public FlatCheckNode(TempDescriptor td, String spec) {
-       this.td=td;
-       this.spec=spec;
-    }
-
-    public int kind() {
-        return FKind.FlatCheckNode;
-    }
-    
-    public TempDescriptor [] readsTemps() {
-       return new TempDescriptor[] {td};
-    }
-}