From ac93e2ce2acee19e3ce8bffe8beb6a4594fc9a4b Mon Sep 17 00:00:00 2001
From: Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com>
Date: Mon, 28 Jan 2013 17:41:03 -0800
Subject: bug fix reported by Chris

---
 Source/BoogieDriver/BoogieDriver.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/BoogieDriver')

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 133dc33f..2d1836c6 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -190,6 +190,7 @@ namespace Microsoft.Boogie {
         ogTransform.Transform();
         LinearSetTransform linearTransform = new LinearSetTransform(program);
         linearTransform.Transform();
+        PrintBplFile("OwickiGriesDesugared.bpl", program, false);
 
         EliminateDeadVariablesAndInline(program);
 
-- 
cgit v1.2.3