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

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Dafny/Cloner.cs b/Source/Dafny/Cloner.cs
index 45d8a2c9..9a93a340 100644
--- a/Source/Dafny/Cloner.cs
+++ b/Source/Dafny/Cloner.cs
@@ -531,7 +531,7 @@ namespace Microsoft.Dafny
 

       } else if (stmt is IfStmt) {

         var s = (IfStmt)stmt;

-        r = new IfStmt(Tok(s.Tok), Tok(s.EndTok), CloneExpr(s.Guard), CloneBlockStmt(s.Thn), CloneStmt(s.Els));

+        r = new IfStmt(Tok(s.Tok), Tok(s.EndTok), s.IsExistentialGuard, CloneExpr(s.Guard), CloneBlockStmt(s.Thn), CloneStmt(s.Els));

 

       } else if (stmt is AlternativeStmt) {

         var s = (AlternativeStmt)stmt;

@@ -631,7 +631,7 @@ namespace Microsoft.Dafny
     }

 

     public GuardedAlternative CloneGuardedAlternative(GuardedAlternative alt) {

-      return new GuardedAlternative(Tok(alt.Tok), CloneExpr(alt.Guard), alt.Body.ConvertAll(CloneStmt));

+      return new GuardedAlternative(Tok(alt.Tok), alt.IsExistentialGuard, CloneExpr(alt.Guard), alt.Body.ConvertAll(CloneStmt));

     }

 

     public Function CloneFunction(Function f, string newName = null) {