From 9b7a6ceaac428d0235deb8e69c23df1e5916cfaf Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 5 Apr 2011 20:44:49 +0000
Subject: [PATCH] bug fix...

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

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 493729aa..3aa67c79 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -589,6 +589,7 @@ public class BuildCode {
 
 
     outstructs.println("#define STRINGTYPE "+typeutil.getClass(TypeUtil.StringClass).getId());
+    outstructs.println("#define OBJECTTYPE "+typeutil.getClass(TypeUtil.ObjectClass).getId());
     outstructs.println("#define CHARARRAYTYPE "+
                        (state.getArrayNumber((new TypeDescriptor(TypeDescriptor.CHAR)).makeArray(state))+state.numClasses()));
 
-- 
2.34.1