typo

diff --git a/Robust/src/IR/Flat/RuntimeConflictResolver.java b/Robust/src/IR/Flat/RuntimeConflictResolver.java
index 3bbbcaa82d97e9953f88dea36752f4b16743be95..0f645bdf823102309d83481269f2e04609c5eceb 100644 (file)
--- 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);
        }
       }