diff options
Diffstat (limited to 'frontend/ast.ml')
-rw-r--r-- | frontend/ast.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/ast.ml b/frontend/ast.ml index ae11064..d55626d 100644 --- a/frontend/ast.ml +++ b/frontend/ast.ml @@ -46,6 +46,7 @@ type expr = | AST_real_const of string ext | AST_unary of unary_op * (expr ext) | AST_binary of binary_op * (expr ext) * (expr ext) + | AST_cast of (expr ext) * typ (* on boolean values *) | AST_bool_const of bool | AST_binary_rel of binary_rel_op * (expr ext) * (expr ext) |