From fbe63383d6a29e104fd3a7045aef32ee2be1c356 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 15 Feb 2006 21:03:56 +0000
Subject: [PATCH] Add flatnode basetype

---
 Robust/src/IR/Flat/FlatNode.java | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 Robust/src/IR/Flat/FlatNode.java

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