From efc42f63a6b16ca433e532adc016b519b05f5588 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Thu, 3 Feb 2011 02:06:35 +0000
Subject: Dafny: removed CEV instrumentation

---
 Source/BoogieDriver/BoogieDriver.cs | 14 --------------
 1 file changed, 14 deletions(-)

(limited to 'Source/BoogieDriver')

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index ab930f22..6b8cf7ca 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -247,22 +247,8 @@ namespace Microsoft.Boogie {
       }
       if (error) {
         ErrorWriteLine(s);
-        if (CommandLineOptions.Clo.CEVPrint) {
-          TextWriter mw = VC.VCGen.ErrorReporter.ModelWriter;
-          mw.WriteLine("BEGINNING_OF_ERROR");
-          mw.WriteLine(s);
-          mw.WriteLine("END_OF_ERROR");
-          mw.Flush();
-        }
       } else {
         Console.WriteLine(s);
-        if (CommandLineOptions.Clo.CEVPrint) {
-          TextWriter mw = VC.VCGen.ErrorReporter.ModelWriter;
-          mw.WriteLine("BEGINNING_OF_RELATED_INFO");
-          mw.WriteLine(s);
-          mw.WriteLine("END_OF_RELATED_INFO");
-          mw.Flush();
-        }
       }
     }
 
-- 
cgit v1.2.3