diff options
Diffstat (limited to 'Source/Dafny/Dafny.atg')
-rw-r--r-- | Source/Dafny/Dafny.atg | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg index adb17fb7..7e608945 100644 --- a/Source/Dafny/Dafny.atg +++ b/Source/Dafny/Dafny.atg @@ -1224,6 +1224,7 @@ CalcStmt<out Statement/*!*/ s> List<Statement> hints = new List<Statement>();
Expression/*!*/ e;
BlockStmt/*!*/ block;
+ Statement/*!*/ h;
IToken bodyStart, bodyEnd;
.)
"calc" (. x = t; .)
@@ -1232,6 +1233,7 @@ CalcStmt<out Statement/*!*/ s> ";"
{
( BlockStmt<out block, out bodyStart, out bodyEnd> (. hints.Add(block); .)
+ | CalcStmt<out h> (. hints.Add(h); .)
| (. hints.Add(null); .)
)
Expression<out e> (. lines.Add(e); .)
|