From: bdemsky <bdemsky>
Date: Wed, 4 Oct 2006 04:43:53 +0000 (+0000)
Subject: Bug fix
X-Git-Tag: preEdgeChange~821
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5504bbc5232cd5d01ddbaae9004b1cef6316bf8d;p=IRC.git

Bug fix
---

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index d130c246..60a0d38f 100644
--- 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;");
 	}