From 5504bbc5232cd5d01ddbaae9004b1cef6316bf8d Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 4 Oct 2006 04:43:53 +0000
Subject: [PATCH] Bug fix

---
 Robust/src/IR/Flat/BuildCode.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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;");
 	}
-- 
2.34.1