From 315922109c235044f985ca19e1bfbe5b95d1873c Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Sun, 20 Jul 2014 13:45:14 -0700
Subject: enabled merging of yield calls

---
 Source/Concurrency/OwickiGries.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Concurrency')

diff --git a/Source/Concurrency/OwickiGries.cs b/Source/Concurrency/OwickiGries.cs
index 036d2543..e5201809 100644
--- a/Source/Concurrency/OwickiGries.cs
+++ b/Source/Concurrency/OwickiGries.cs
@@ -838,7 +838,7 @@ namespace Microsoft.Boogie
             impl.LocVars.AddRange(oldPcs);
             impl.LocVars.AddRange(oldOks);
 
-            //UnifyCallsToYieldProc(impl, ogOldGlobalMap, domainNameToLocalVar);
+            UnifyCallsToYieldProc(impl, ogOldGlobalMap, domainNameToLocalVar);
         }
 
         private void UnifyCallsToYieldProc(Implementation impl, Dictionary<Variable, Variable> ogOldGlobalMap, Dictionary<string, Variable> domainNameToLocalVar)
-- 
cgit v1.2.3