From 2358c4a57c4fa3bd21fe97f5000f321a78534694 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Fri, 16 Jan 2015 10:08:55 -0800
Subject: removed "layer" attribute from the desugared program

---
 Source/ExecutionEngine/ExecutionEngine.cs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'Source/ExecutionEngine')

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;
-- 
cgit v1.2.3