DafnyExtension: Made it not log the pretty-printed program.

1 files changed, 1 insertions, 2 deletions

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++;

       }