another fix requested by Chris

verification is performed now for all created layers

1 files changed, 0 insertions, 20 deletions

diff --git a/Source/Concurrency/CivlTypeChecker.cs b/Source/Concurrency/CivlTypeChecker.cs
index dba7ab4b..5215bc52 100644
--- a/Source/Concurrency/CivlTypeChecker.cs
+++ b/Source/Concurrency/CivlTypeChecker.cs
@@ -486,26 +486,6 @@ namespace Microsoft.Boogie
             }
         }
 
-        private HashSet<int> allImplementedLayerNums;
-        public IEnumerable<int> AllImplementedLayerNums
-        {
-            get
-            {
-                if (allImplementedLayerNums == null)
-                {
-                    allImplementedLayerNums = new HashSet<int>();
-                    foreach (ActionInfo actionInfo in procToActionInfo.Values)
-                    {
-                        if (actionInfo.hasImplementation)
-                        {
-                            allImplementedLayerNums.Add(actionInfo.createdAtLayerNum);
-                        }
-                    }
-                }
-                return allImplementedLayerNums;
-            }
-        }
-
         private HashSet<int> allCreatedLayerNums;
         public IEnumerable<int> AllCreatedLayerNums
         {