1 files changed, 1 insertions, 1 deletions
diff --git a/Dafny/Printer.cs b/Dafny/Printer.cs
index 894ffe94..f5fba723 100644
--- a/Dafny/Printer.cs
+++ b/Dafny/Printer.cs
@@ -548,7 +548,7 @@ namespace Microsoft.Dafny {
           wr.WriteLine();
         }
         Indent(ind);
-        PrintStatement(s.BodyAssign, ind);
+        PrintStatement(s.GivenBody, ind);
         wr.WriteLine();
         Indent(indent);
         wr.Write("}");