edits

[cdsspec-compiler.git] / src / edu / uci / eecs / specExtraction / GlobalConstruct.java

diff --git a/src/edu/uci/eecs/specExtraction/GlobalConstruct.java b/src/edu/uci/eecs/specExtraction/GlobalConstruct.java
index d8f6dd42491bfaaa62b17b9e3c06efd8840a4e6e..cfd935c8e6d77d09176f1c3ea95c2830ca1a3b52 100644 (file)
--- a/src/edu/uci/eecs/specExtraction/GlobalConstruct.java
+++ b/src/edu/uci/eecs/specExtraction/GlobalConstruct.java
@@ -54,6 +54,8 @@ public class GlobalConstruct extends Construct {
                if (emptyState) {
                        WrongAnnotationException.warning(file, beginLineNum,
                                        "The state is empty. Make sure that's what you want!");
+                       // Add a fake state declaration
+                       declState.add(new VariableDeclaration("int", "FakeState"));
                }
 
                autoGenInitial = initState.isEmpty();