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