From: bdemsky <bdemsky>
Date: Thu, 14 Apr 2011 18:46:25 +0000 (+0000)
Subject: add hashcode field
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=023c8898fea8a8e2c2ba3879f54bf173f4146508;p=IRC.git

add hashcode field
---

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index fb0eeb92..4cd60492 100644
--- 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);