diff options
Diffstat (limited to 'Source/Dafny/Cloner.cs')
-rw-r--r-- | Source/Dafny/Cloner.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/Dafny/Cloner.cs b/Source/Dafny/Cloner.cs index e81e5e67..9aca7306 100644 --- a/Source/Dafny/Cloner.cs +++ b/Source/Dafny/Cloner.cs @@ -351,6 +351,10 @@ namespace Microsoft.Dafny return new MatchExpr(Tok(e.tok), CloneExpr(e.Source),
e.Cases.ConvertAll(c => new MatchCaseExpr(Tok(c.tok), c.Id, c.Arguments.ConvertAll(CloneBoundVar), CloneExpr(c.Body))));
+ } else if (expr is NegationExpression) {
+ var e = (NegationExpression)expr;
+ return new NegationExpression(Tok(e.tok), CloneExpr(e.E));
+
} else {
Contract.Assert(false); throw new cce.UnreachableException(); // unexpected expression
}
|