diff options
| author |  Unknown <afd@afd-THINK.home> | 2012-09-18 23:04:33 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.home> | 2012-09-18 23:04:33 +0100 |
| commit | 743cb89f91a030d38740defa775f9d2406e74e24 (patch) | |
| tree | 43e985e78e17e42b5d87dd3c041fcb8bd02d9bfb /Source/Dafny/Cloner.cs | |
| parent | ff3465d251f498b778dd00f6d97784f3cc8c6408 (diff) | |
| parent | b2d4485e611149d2cf1e8998a60b186090cd3e80 (diff) | |
Merge
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 6d99ce9b..a5865a6f 100644 --- a/Source/Dafny/Cloner.cs +++ b/Source/Dafny/Cloner.cs @@ -422,6 +422,10 @@ namespace Microsoft.Dafny var s = (ParallelStmt)stmt;
r = new ParallelStmt(Tok(s.Tok), s.BoundVars.ConvertAll(CloneBoundVar), null, CloneExpr(s.Range), s.Ens.ConvertAll(CloneMayBeFreeExpr), CloneStmt(s.Body));
+ } else if (stmt is CalcStmt) {
+ var s = (CalcStmt)stmt;
+ r = new CalcStmt(Tok(s.Tok), s.Op, s.Lines.ConvertAll(CloneExpr), s.Hints.ConvertAll(CloneStmt), new List<Nullable<BinaryExpr.Opcode>>(s.CustomOps));
+
} else if (stmt is MatchStmt) {
var s = (MatchStmt)stmt;
r = new MatchStmt(Tok(s.Tok), CloneExpr(s.Source),
|