diff options
Diffstat (limited to 'Source/Concurrency')
| -rw-r--r-- | Source/Concurrency/TypeCheck.cs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Source/Concurrency/TypeCheck.cs b/Source/Concurrency/TypeCheck.cs index b8c94dc8..d6ccce45 100644 --- a/Source/Concurrency/TypeCheck.cs +++ b/Source/Concurrency/TypeCheck.cs @@ -353,15 +353,14 @@ namespace Microsoft.Boogie foreach (var g in program.GlobalVariables)
{
List<int> layerNums = FindLayers(g.Attributes);
- this.introduceLayerNums[g] = 0;
- this.hideLayerNums[g] = int.MaxValue;
if (layerNums.Count == 0)
{
- Error(g, "Too few layer numbers");
+ // Cannot access atomic actions
}
else if (layerNums.Count == 1)
{
this.introduceLayerNums[g] = layerNums[0];
+ this.hideLayerNums[g] = int.MaxValue;
}
else if (layerNums.Count == 2)
{
|