diff options
| author |  Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-01-28 17:41:03 -0800 |
|---|---|---|
| committer | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-01-28 17:41:03 -0800 |
| commit | ac93e2ce2acee19e3ce8bffe8beb6a4594fc9a4b (patch) | |
| tree | 09fe05240190d70dfd0e84af7ca4a31d70f56fe5 /Source/BoogieDriver | |
| parent | 30347b268fbc1e386066842cbc8b08a1d0d8ed2e (diff) | |
bug fix reported by Chris
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs | 1 |
1 files changed, 1 insertions, 0 deletions
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);
|