From 8d4d6befac976e171554fde4ea3832703c7a8bd5 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Fri, 21 May 2010 21:37:49 +0000
Subject: [PATCH] fix: make OID only available for MLP.

---
 Robust/src/IR/Flat/BuildCode.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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