diff options
Diffstat (limited to 'Source/Dafny/Printer.cs')
-rw-r--r-- | Source/Dafny/Printer.cs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs index 54de4905..145e82e7 100644 --- a/Source/Dafny/Printer.cs +++ b/Source/Dafny/Printer.cs @@ -963,6 +963,19 @@ namespace Microsoft.Dafny { } wr.Write(";"); + } else if (stmt is LetStmt) {
+ var s = (LetStmt)stmt;
+ wr.Write("var");
+ string sep = "";
+ foreach (var lhs in s.LHSs) {
+ wr.Write(sep);
+ PrintCasePattern(lhs);
+ sep = ", ";
+ }
+ wr.Write(" := ");
+ PrintExpressionList(s.RHSs, true);
+ wr.WriteLine(";"); + } else if (stmt is SkeletonStatement) { var s = (SkeletonStatement)stmt; if (s.S == null) { |