diff options
| author |  chrishaw <unknown> | 2015-04-07 11:41:05 -0700 |
|---|---|---|
| committer | chrishaw <unknown> | 2015-04-07 11:41:05 -0700 |
| commit | 629a43dc9200dfe7b6fe92b2206f5759eeacc088 (patch) | |
| tree | 15f3364bceaf226993f3ef9e0c50689d098511fb /Source/Dafny/Printer.cs | |
| parent | 985579d14df105de939807d1d344fc75ff49563d (diff) | |
Make sure that PrintTopLevelDecls receives program FullName, not just Name, so that printMode NoIncludes/NoGhost works
Diffstat (limited to 'Source/Dafny/Printer.cs')
| -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();
}
|