From 65ec4edd426e3441431cf09aee07478d6417c99d Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 25 Mar 2011 21:26:47 +0000
Subject: [PATCH] bug fix

---
 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 0f645bdf..8014d1cc 100644
--- 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;");
-- 
2.34.1