diff options
| author |  wuestholz <unknown> | 2013-07-07 14:43:51 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-07 14:43:51 -0700 |
| commit | 6d871e14d0cffebb51bf6fded98b209429f5b589 (patch) | |
| tree | f37fc803f0283d45f5f0c2d38f64ed1b12033c5d /Source/Dafny/Printer.cs | |
| parent | 931faf9fc5471132402c40741b9697dae6545080 (diff) | |
Fixed an issue in the computation of checksums.
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 72ef4205..3f6203b0 100644 --- a/Source/Dafny/Printer.cs +++ b/Source/Dafny/Printer.cs @@ -389,7 +389,7 @@ namespace Microsoft.Dafny { }
}
- void PrintFormals(List<Formal> ff, string name = null) {
+ internal void PrintFormals(List<Formal> ff, string name = null) {
Contract.Requires(ff != null);
if (name != null && name.EndsWith("#")) {
wr.Write("[");
|