From e73f049ab93057f6d6d4b8ea9af06d285687a2ff Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 9 Feb 2006 19:02:04 +0000
Subject: [PATCH] Add State

---
 Robust/src/IR/State.java | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 Robust/src/IR/State.java

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
new file mode 100644
index 00000000..e88b87ce
--- /dev/null
+++ b/Robust/src/IR/State.java
@@ -0,0 +1,4 @@
+class State {
+
+
+}
-- 
2.34.1