bug fix

diff --git a/Robust/src/IR/Flat/RuntimeConflictResolver.java b/Robust/src/IR/Flat/RuntimeConflictResolver.java
index 0f645bdf823102309d83481269f2e04609c5eceb..8014d1ccf6a447bb4d99f515883d69151cf54709 100644 (file)
--- a/Robust/src/IR/Flat/RuntimeConflictResolver.java
+++ b/Robust/src/IR/Flat/RuntimeConflictResolver.java
@@ -237,7 +237,7 @@ public class RuntimeConflictResolver {
       } else {
        cFile.println("     if("+input+"=="+a.getUniqueAllocSiteID()+") {");
       }
-      addChecker(a, fn, tmp, state, et, "ptr", 0, weakID);
+      addChecker(a, fn, tmp, state, et, input, 0, weakID);
       if (needswitch) {
        cFile.println("       }");
        cFile.println("       break;");