From: yeom <yeom>
Date: Fri, 21 May 2010 21:37:49 +0000 (+0000)
Subject: fix: make OID only available for MLP.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8d4d6befac976e171554fde4ea3832703c7a8bd5;p=IRC.git

fix: make OID only available for MLP.
---

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 8a65dedc..d8801fdd 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -638,7 +638,9 @@ public class BuildCode {
     //Print out definition for array type
     outclassdefs.println("struct "+arraytype+" {");
     outclassdefs.println("  int type;");
-    outclassdefs.println("  int oid;");
+    if(state.MLP){
+      outclassdefs.println("  int oid;");
+    }
     if (state.EVENTMONITOR) {
       outclassdefs.println("  int objuid;");
     }