From 5c53ebb4cccec289577032d2db0157bef170c758 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 25 Mar 2011 09:31:07 +0000
Subject: [PATCH] typo

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

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