diff options
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index f1eedbba..8f5b5300 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -131,7 +131,7 @@ namespace Microsoft.Dafny Bpl.Program boogieProgram = translator.Translate(dafnyProgram);
if (CommandLineOptions.Clo.PrintFile != null)
{
- ExecutionEngine.PrintBplFile(CommandLineOptions.Clo.PrintFile, boogieProgram, false, false);
+ ExecutionEngine.PrintBplFile(CommandLineOptions.Clo.PrintFile, boogieProgram, false, false, CommandLineOptions.Clo.PrettyPrint);
}
string bplFilename;
@@ -194,7 +194,7 @@ namespace Microsoft.Dafny case PipelineOutcome.ResolutionError:
case PipelineOutcome.TypeCheckingError:
{
- ExecutionEngine.PrintBplFile(bplFileName, program, false, false);
+ ExecutionEngine.PrintBplFile(bplFileName, program, false, false, CommandLineOptions.Clo.PrettyPrint);
Console.WriteLine();
Console.WriteLine("*** Encountered internal translation error - re-running Boogie to get better debug information");
Console.WriteLine();
|