diff options
| -rw-r--r-- | Source/Concurrency/TypeCheck.cs | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Source/Concurrency/TypeCheck.cs b/Source/Concurrency/TypeCheck.cs index 10127d33..e5c5999d 100644 --- a/Source/Concurrency/TypeCheck.cs +++ b/Source/Concurrency/TypeCheck.cs @@ -1083,11 +1083,7 @@ namespace Microsoft.Boogie absyToLayerNums[node] = new HashSet<int>(); foreach (int layerNum in attrs) { - if (!AllImplementedLayerNums.Contains(layerNum)) - { - Error(node, "Illegal layer number"); - } - else if (layerNum > enclosingProcLayerNum) + if (layerNum > enclosingProcLayerNum) { Error(node, "The layer cannot be greater than the layer of enclosing procedure"); } |