diff options
Diffstat (limited to 'Source/Concurrency/CivlTypeChecker.cs')
| -rw-r--r-- | Source/Concurrency/CivlTypeChecker.cs | 20 |
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 { |