From d1cb32f84cee1dc227ed0736724323dbd6ad6ea1 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 25 Apr 2011 22:59:58 +0000
Subject: [PATCH] nasty bug...

---
 Robust/src/Main/Main.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 33747ca3..56dce135 100644
--- 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);
-- 
2.34.1