From e965660d7735ec19d60ab0c6c439c2aae500fc30 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Mon, 15 Dec 2014 15:19:47 -0800
Subject: patched last check in

---
 Source/Concurrency/TypeCheck.cs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'Source/Concurrency')

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)
                 {
-- 
cgit v1.2.3