From 67ae2df042134ab49c5d9e055213b2c052033962 Mon Sep 17 00:00:00 2001
From: Shaz Qadeer <qadeer@microsoft.com>
Date: Sat, 26 Sep 2015 21:19:33 -0700
Subject: removed a warning

---
 Source/Concurrency/TypeCheck.cs | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'Source')

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");
                 }
-- 
cgit v1.2.3