From abf766e4b1b81e7327f7a23d16ddf35e39ecb1b4 Mon Sep 17 00:00:00 2001
From: Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com>
Date: Wed, 13 Mar 2013 10:29:03 -0700
Subject: Added explicit mod set analysis calls to OG transform and linear
 transform

---
 Source/Core/LinearSets.cs  | 2 ++
 Source/Core/OwickiGries.cs | 2 ++
 2 files changed, 4 insertions(+)

(limited to 'Source')

diff --git a/Source/Core/LinearSets.cs b/Source/Core/LinearSets.cs
index f30336e5..d4c12ee0 100644
--- a/Source/Core/LinearSets.cs
+++ b/Source/Core/LinearSets.cs
@@ -453,6 +453,8 @@ namespace Microsoft.Boogie
 
             var eraser = new LinearEraser();
             eraser.VisitProgram(program);
+
+            Microsoft.Boogie.ModSetCollector.DoModSetAnalysis(program);
         }
 
         private Expr Singleton(Expr e, string domainName)
diff --git a/Source/Core/OwickiGries.cs b/Source/Core/OwickiGries.cs
index 7182df3c..c0dd1164 100644
--- a/Source/Core/OwickiGries.cs
+++ b/Source/Core/OwickiGries.cs
@@ -556,6 +556,8 @@ namespace Microsoft.Boogie
             {
                 program.TopLevelDeclarations.Add(proc);
             }
+
+            Microsoft.Boogie.ModSetCollector.DoModSetAnalysis(program);
         }
     }
 }
-- 
cgit v1.2.3