X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FIR%2FFlat%2FFlatCheckNode.java;fp=Robust%2Fsrc%2FIR%2FFlat%2FFlatCheckNode.java;h=0000000000000000000000000000000000000000;hb=refs%2Ftags%2Fbuildscript;hp=d890a920dc1c8a9ff67936a316ccdf6d62e1d2f5;hpb=2f2cbbbc9385b82d891fabf62ab7e0c5cf364658;p=IRC.git

diff --git a/Robust/src/IR/Flat/FlatCheckNode.java b/Robust/src/IR/Flat/FlatCheckNode.java
deleted file mode 100644
index d890a920..00000000
--- a/Robust/src/IR/Flat/FlatCheckNode.java
+++ /dev/null
@@ -1,33 +0,0 @@
-package IR.Flat;
-
-public class FlatCheckNode extends FlatNode {
-    TempDescriptor [] temps;
-    String [] vars;
-    String spec;
-
-    public FlatCheckNode(String spec, String[] vars, TempDescriptor[] temps) {
-	this.spec=spec;
-	this.vars=vars;
-	this.temps=temps;
-    }
-
-    public int kind() {
-        return FKind.FlatCheckNode;
-    }
-
-    public String getSpec() {
-	return spec;
-    }
-
-    public String[] getVars() {
-	return vars;
-    }
-
-    public TempDescriptor [] getTemps() {
-	return temps;
-    }
-    
-    public TempDescriptor [] readsTemps() {
-	return temps;
-    }
-}