From 8bb1e486770ccc399c86c713b7808b0dee5971d5 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 23 Sep 2014 13:29:53 +0200
Subject: Did more refactoring.

---
 Source/Concurrency/LinearSets.cs | 12 ++++++------
 Source/Concurrency/Program.cs    |  4 ++--
 2 files changed, 8 insertions(+), 8 deletions(-)

(limited to 'Source/Concurrency')

diff --git a/Source/Concurrency/LinearSets.cs b/Source/Concurrency/LinearSets.cs
index b6e23e38..e3bc3bfe 100644
--- a/Source/Concurrency/LinearSets.cs
+++ b/Source/Concurrency/LinearSets.cs
@@ -779,14 +779,14 @@ namespace Microsoft.Boogie
             
             foreach (LinearDomain domain in linearDomains.Values)
             {
-                program.TopLevelDeclarations.Add(domain.mapConstBool);
-                program.TopLevelDeclarations.Add(domain.mapConstInt);
-                program.TopLevelDeclarations.Add(domain.mapEqInt);
-                program.TopLevelDeclarations.Add(domain.mapImpBool);
-                program.TopLevelDeclarations.Add(domain.mapOrBool);
+                program.AddTopLevelDeclaration(domain.mapConstBool);
+                program.AddTopLevelDeclaration(domain.mapConstInt);
+                program.AddTopLevelDeclaration(domain.mapEqInt);
+                program.AddTopLevelDeclaration(domain.mapImpBool);
+                program.AddTopLevelDeclaration(domain.mapOrBool);
                 foreach (Axiom axiom in domain.axioms)
                 {
-                    program.TopLevelDeclarations.Add(axiom);
+                    program.AddTopLevelDeclaration(axiom);
                 }
             }
 
diff --git a/Source/Concurrency/Program.cs b/Source/Concurrency/Program.cs
index 915eadda..562044a9 100644
--- a/Source/Concurrency/Program.cs
+++ b/Source/Concurrency/Program.cs
@@ -36,8 +36,8 @@ namespace Microsoft.Boogie
             {
                 decl.Attributes = OwickiGries.RemoveYieldsAttribute(decl.Attributes);
             }
-            program.TopLevelDeclarations.RemoveAll(x => originalDecls.Contains(x));
-            program.TopLevelDeclarations.AddRange(decls);
+            program.RemoveTopLevelDeclarations(x => originalDecls.Contains(x));
+            program.AddTopLevelDeclarations(decls);
         }
 
     }
-- 
cgit v1.2.3