From 0cd6f5a6bb63c9c6aa184e83a6ed497c948f9413 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 28 Sep 2014 12:16:18 +0200
Subject: DafnyExtension: Made it not log the pretty-printed program.

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

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs
index 20cbecd1..73825dd3 100644
--- a/Source/DafnyExtension/ProgressMargin.cs
+++ b/Source/DafnyExtension/ProgressMargin.cs
@@ -327,8 +327,7 @@ namespace DafnyLanguage
         var logFileName = System.IO.Path.Combine(logDirName, System.IO.Path.GetFileName(System.IO.Path.ChangeExtension(program.FullName, string.Format("{0}.v{1}{2}", _created.Ticks, _version, System.IO.Path.GetExtension(program.FullName)))));        
         using (var writer = new StreamWriter(logFileName))
         {
-          var pr = new Dafny.Printer(writer);
-          pr.PrintProgram(program);
+          snapshot.Write(writer);
         }
         _version++;
       }
-- 
cgit v1.2.3