Add flatnode basetype

diff --git a/Robust/src/IR/Flat/FlatNode.java b/Robust/src/IR/Flat/FlatNode.java
new file mode 100644 (file)
index 0000000..837f83f
--- /dev/null
+++ b/Robust/src/IR/Flat/FlatNode.java
@@ -0,0 +1,6 @@
+public class FlatNode {
+
+    public String toString() {
+       throw new Error();
+    }
+}