From: bdemsky <bdemsky>
Date: Wed, 3 Nov 2010 10:52:58 +0000 (+0000)
Subject: bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0d372a7decedf3773044aff025fd328d6b3e75fe;p=IRC.git

bug
---

diff --git a/Robust/src/IR/Flat/RuntimeConflictResolver.java b/Robust/src/IR/Flat/RuntimeConflictResolver.java
index aeaa4050..e289a6da 100644
--- a/Robust/src/IR/Flat/RuntimeConflictResolver.java
+++ b/Robust/src/IR/Flat/RuntimeConflictResolver.java
@@ -756,7 +756,7 @@ public class RuntimeConflictResolver {
     }
 
     String strrcr=taint.isRBlockTaint()?"&record->rcrRecords["+index+"], ":"NULL, ";
-    String tasksrc=taint.isRBlockTaint()?"(SESEcommon *) record, ":"(SESEcommon *)(((INTPTR)record)&1LL), ";
+    String tasksrc=taint.isRBlockTaint()?"(SESEcommon *) record, ":"(SESEcommon *)(((INTPTR)record)|1LL), ";
     
     //Do call if we need it.
     if(primConfWrite||objConfWrite) {