diff options
| author |  qadeer <unknown> | 2014-11-14 22:18:15 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2014-11-14 22:18:15 -0800 |
| commit | 72d74c23e9c5cc1903f2646af6a7d778cfde53f3 (patch) | |
| tree | 42b738427237ff44692051f028fb92a427c3cd1b /Source/Concurrency/MoverCheck.cs | |
| parent | 0339351e985c455e7ecf290be54aa5361fe7ae8f (diff) | |
renamed :phase to :layer
Diffstat (limited to 'Source/Concurrency/MoverCheck.cs')
| -rw-r--r-- | Source/Concurrency/MoverCheck.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Concurrency/MoverCheck.cs b/Source/Concurrency/MoverCheck.cs index d98d9e1f..9a2203c3 100644 --- a/Source/Concurrency/MoverCheck.cs +++ b/Source/Concurrency/MoverCheck.cs @@ -35,9 +35,9 @@ namespace Microsoft.Boogie {
AtomicActionInfo atomicAction = action as AtomicActionInfo;
if (atomicAction == null) continue;
- foreach (int phaseNum in moverTypeChecker.AllPhaseNums)
+ foreach (int phaseNum in moverTypeChecker.AllLayerNums)
{
- if (action.phaseNum < phaseNum && phaseNum <= action.availableUptoPhaseNum)
+ if (action.phaseNum < phaseNum && phaseNum <= action.availableUptoLayerNum)
{
if (!pools.ContainsKey(phaseNum))
{
|