diff options
| author |  leino <unknown> | 2015-04-07 18:21:21 -0700 |
|---|---|---|
| committer | leino <unknown> | 2015-04-07 18:21:21 -0700 |
| commit | a2f8328ffbb106bbd8bd3a328fb0ecf33431331b (patch) | |
| tree | 18795cc099a5943b8cc4b92675bbf4a6865f938f | |
| parent | 196888695fd805997b02c367d90ac3fbfef32370 (diff) | |
| parent | 629a43dc9200dfe7b6fe92b2206f5759eeacc088 (diff) | |
Merge
| -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();
}
|