From: bdemsky <bdemsky>
Date: Fri, 25 Mar 2011 09:31:07 +0000 (+0000)
Subject: typo
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5c53ebb4cccec289577032d2db0157bef170c758;p=IRC.git

typo
---

diff --git a/Robust/src/IR/Flat/RuntimeConflictResolver.java b/Robust/src/IR/Flat/RuntimeConflictResolver.java
index 3bbbcaa8..0f645bdf 100644
--- a/Robust/src/IR/Flat/RuntimeConflictResolver.java
+++ b/Robust/src/IR/Flat/RuntimeConflictResolver.java
@@ -264,7 +264,7 @@ public class RuntimeConflictResolver {
       cFile.println("  for(i = 0; i<((struct ArrayObject *) " + prefix + " )->___length___; i++ ) {");
       
       for(Effect e: et.getEffects(a)) {
-	if (state.transitionsTo(e).isEmpty()) {
+	if (!state.transitionsTo(e).isEmpty()) {
 	  printRefSwitch(fn, tmp, pdepth, childPtr, currPtr, state.transitionsTo(e), weakID);
 	}
       }