From 023c8898fea8a8e2c2ba3879f54bf173f4146508 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 14 Apr 2011 18:46:25 +0000
Subject: [PATCH] add hashcode field

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