diff options
Diffstat (limited to 'src/comp/front/ast.rs')
| -rw-r--r-- | src/comp/front/ast.rs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/comp/front/ast.rs b/src/comp/front/ast.rs index 13b5739e..2fd13194 100644 --- a/src/comp/front/ast.rs +++ b/src/comp/front/ast.rs @@ -283,10 +283,7 @@ tag expr_ { expr_put(option.t[@expr], ann); expr_be(@expr, ann); expr_log(int, @expr, ann); -/* just an assert, no significance to typestate */ - expr_assert(@expr, ann); -/* preds that typestate is aware of */ - expr_check(@expr, ann); + expr_check_expr(@expr, ann); expr_port(ann); expr_chan(@expr, ann); } |