temporal

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
index bb6b8e591b1604f12373430561c0cfb2cb8efdf2..9d3bff677c245bbb971b81a70886be61ab391419 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
@@ -22,7 +22,7 @@ public class SequentialDefineSubConstruct {
                StringBuffer res = new StringBuffer();
                res.append("@Sequential_define:\n");
                res.append("@DeclareStruct:\n");
-               for (int i = 0; i < defineFuncs.size(); i++) {
+               for (int i = 0; i < declareStructs.size(); i++) {
                        res.append(ParserUtils.array2Str(declareStructs.get(i)) + "\n");
                }
                res.append("@DeclareVar:\n");