Parsing and pretty printing of the new "existential guards" of the two kinds of "if" statements.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Dafny/Rewriter.cs b/Source/Dafny/Rewriter.cs
index 9bc24c30..fa5fdfbe 100644
--- a/Source/Dafny/Rewriter.cs
+++ b/Source/Dafny/Rewriter.cs
@@ -356,7 +356,7 @@ namespace Microsoft.Dafny
         e = BinBoolExpr(tok, BinaryExpr.ResolvedOpcode.NeqCommon, F, cNull);

         var thn = new BlockStmt(tok, tok, new List<Statement>() { s });

         thn.IsGhost = true;

-        s = new IfStmt(tok, tok, e, thn, null);

+        s = new IfStmt(tok, tok, false, e, thn, null);

         s.IsGhost = true;

         // finally, add s to the body

         bodyStatements.Add(s);