diff options
author | 2015-01-22 09:19:50 +0000 | |
---|---|---|
committer | 2015-01-22 09:19:50 +0000 | |
commit | 22ec7485362d7da6e19cab411d0805f4f128acc8 (patch) | |
tree | de7b38761bebe40573ce4684a26c6a3c46e8a04a /Source/ExecutionEngine/ExecutionEngine.cs | |
parent | 033f25a8791a36b74925033368fcea946a2290de (diff) | |
parent | 214b1a07c44d10eac99200147fe46e57a0297513 (diff) |
Merge
Diffstat (limited to 'Source/ExecutionEngine/ExecutionEngine.cs')
-rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index 90da808a..c0d66720 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -509,8 +509,7 @@ namespace Microsoft.Boogie if (CommandLineOptions.Clo.StratifiedInlining == 0)
{
Concurrency.Transform(linearTypeChecker, moverTypeChecker);
- var eraser = new LinearEraser();
- eraser.VisitProgram(program);
+ (new LinearEraser()).VisitProgram(program);
if (CommandLineOptions.Clo.OwickiGriesDesugaredOutputFile != null)
{
int oldPrintUnstructured = CommandLineOptions.Clo.PrintUnstructured;
|