diff options
Diffstat (limited to 'Source/Concurrency')
-rw-r--r-- | Source/Concurrency/OwickiGries.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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)
|