fix: make OID only available for MLP.

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 8a65dedce4c578d9039de4455953c5b2982b4aa7..d8801fdd005118357ffebd0959f0defa73ff0086 100644 (file)
--- 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;");
     }