diff options
Diffstat (limited to 'Source/DafnyExtension/ProgressMargin.cs')
-rw-r--r-- | Source/DafnyExtension/ProgressMargin.cs | 3 |
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++;
}
|