From: bdemsky <bdemsky>
Date: Mon, 25 Apr 2011 22:59:58 +0000 (+0000)
Subject: nasty bug...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d1cb32f84cee1dc227ed0736724323dbd6ad6ea1;p=IRC.git

nasty bug...
---

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);