Bug fix

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index d130c24651e3b5ffb63aef63bd1ae1e69a099291..60a0d38f9f10f9c89641ec2095be7b73e0ff051c 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -267,7 +267,7 @@ public class BuildCode {
            ClassDescriptor cn=(ClassDescriptor)classit.next();
            outrepairstructs.println("structure "+cn.getSymbol()+" {");
            outrepairstructs.println("  int __type__;");
-           if (cn.hasFlags()) {
+           if (state.TASK) {
                outrepairstructs.println("  int __flag__;");
                outrepairstructs.println("  int __flagptr__;");
            }
@@ -646,7 +646,7 @@ public class BuildCode {
        /* Output class structure */
        classdefout.println("struct "+cn.getSafeSymbol()+" {");
        classdefout.println("  int type;");
-       if (cn.hasFlags()) {
+       if (state.TASK) {
            classdefout.println("  int flag;");
            classdefout.println("  void * flagptr;");
        }