diff options
Diffstat (limited to 'Dafny/Cloner.cs')
| -rw-r--r-- | Dafny/Cloner.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dafny/Cloner.cs b/Dafny/Cloner.cs index 58f16235..8a7b314c 100644 --- a/Dafny/Cloner.cs +++ b/Dafny/Cloner.cs @@ -424,7 +424,7 @@ namespace Microsoft.Dafny } else if (stmt is CalcStmt) {
var s = (CalcStmt)stmt;
- r = new CalcStmt(Tok(s.Tok), s.Steps.ConvertAll(CloneExpr), s.Hints.ConvertAll(CloneStmt));
+ r = new CalcStmt(Tok(s.Tok), s.Terms.ConvertAll(CloneExpr), s.Hints.ConvertAll(CloneStmt));
} else if (stmt is MatchStmt) {
var s = (MatchStmt)stmt;
|