diff options
| -rw-r--r-- | Source/Dafny/Printer.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs index 5fa232f1..56c9b281 100644 --- a/Source/Dafny/Printer.cs +++ b/Source/Dafny/Printer.cs @@ -134,7 +134,7 @@ namespace Microsoft.Dafny { }
wr.WriteLine();
PrintCallGraph(prog.DefaultModuleDef, 0);
- PrintTopLevelDecls(prog.DefaultModuleDef.TopLevelDecls, 0, Path.GetFullPath(prog.Name));
+ PrintTopLevelDecls(prog.DefaultModuleDef.TopLevelDecls, 0, Path.GetFullPath(prog.FullName));
wr.Flush();
}
|