From 4ad2ba403e68dd5eda306b0ea7d1184797134e44 Mon Sep 17 00:00:00 2001
From: jzhou <jzhou>
Date: Wed, 23 Mar 2011 17:28:24 +0000
Subject: [PATCH] Bug fix

---
 Robust/src/IR/Flat/BuildCode.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index bdc4751b..fdf15bc2 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -354,7 +354,6 @@ public class BuildCode {
 	outmethod.println("    global_defs_p->"+t_cd.getSafeSymbol()+"classobj = allocate_new(&dummy, " + typeutil.getClass(TypeUtil.ObjectClass).getId() + ");");
       } else 
 	outmethod.println("    global_defs_p->"+t_cd.getSafeSymbol()+"classobj = allocate_new("+typeutil.getClass(TypeUtil.ObjectClass).getId() + ");");
-      outmethod.println("    global_defs_p->"+t_cd.getSafeSymbol()+"classobj->type = " + t_cd.getId() + ";");
       outmethod.println(" }");
     }
   }
-- 
2.34.1