add hashcode field

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index fb0eeb9256911e2f2aad10f711bebdb068281485..4cd6049246e5978b7beadaa70263c1e17c0c3084 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -604,7 +604,7 @@ public class BuildCode {
     //Print out definition for array type
     outclassdefs.println("struct "+arraytype+" {");
     outclassdefs.println("  int type;");
-
+    outclassdefs.println("  int hashcode;");
 
     additionalClassObjectFields(outclassdefs);
 
@@ -1541,7 +1541,7 @@ public class BuildCode {
     /* Output class structure */
     classdefout.println("struct "+cn.getSafeSymbol()+" {");
     classdefout.println("  int type;");
-
+    classdefout.println("  int hashcode;");
 
     additionalClassObjectFields(classdefout);