From 1414d9eb35eeddc7a236b7d0d4976771820a7229 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 16 Apr 2011 08:12:37 +0000
Subject: [PATCH] change

---
 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 8319a245..a608d2e6 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -457,7 +457,9 @@ public class BuildCode {
     outmethod.println("#include \"methodheaders.h\"");
     outmethod.println("#include \"virtualtable.h\"");
     outmethod.println("#include \"runtime.h\"");
-    outmethod.println("#include \"jni-private.h\"");
+    if (state.JNI) {
+      outmethod.println("#include \"jni-private.h\"");
+    }
 
     // always include: compiler directives will leave out
     // instrumentation when option is not set
-- 
2.34.1