nasty bug...

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 33747ca3c88da20f2eac74850e72cea12b7c630c..56dce135a8419d57de4dfdc7bab3c39834761bf2 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -418,7 +418,7 @@ public class Main {
     BuildFlat bf;
     JavaBuilder jb=null;
 
-    if (state.JNI) {
+    if (!state.JNI) {
       BuildIR bir=new BuildIR(state);
       tu=new TypeUtil(state, bir);
       SemanticCheck sc=new SemanticCheck(state,tu);