Did more refactoring and addressed several todos.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Concurrency/LinearSets.cs b/Source/Concurrency/LinearSets.cs
index e3bc3bfe..0146ad75 100644
--- a/Source/Concurrency/LinearSets.cs
+++ b/Source/Concurrency/LinearSets.cs
@@ -110,7 +110,7 @@ namespace Microsoft.Boogie
         }

         public override Program VisitProgram(Program node)

         {

-            foreach (GlobalVariable g in program.GlobalVariables())

+            foreach (GlobalVariable g in program.GlobalVariables)

             {

                 string domainName = FindDomainName(g);

                 if (domainName != null)

@@ -620,7 +620,7 @@ namespace Microsoft.Boogie
                 var domainName = FindDomainName(v);

                 domainNameToScope[domainName].Add(v);

             }

-            foreach (Variable v in program.GlobalVariables())

+            foreach (Variable v in program.GlobalVariables)

             {

                 var domainName = FindDomainName(v);

                 if (domainName == null) continue;