diff options
| author |  qadeer <unknown> | 2015-01-16 10:08:55 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2015-01-16 10:08:55 -0800 |
| commit | 2358c4a57c4fa3bd21fe97f5000f321a78534694 (patch) | |
| tree | 732513417183735e0c6b4b8998b236b13e1d5236 /Source/ExecutionEngine | |
| parent | 0fad1c4a0580045c012ea0b0aed480d954646bd1 (diff) | |
removed "layer" attribute from the desugared program
Diffstat (limited to 'Source/ExecutionEngine')
| -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 ae833dbf..92fc9780 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;
|