diff options
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index 2e78b825..6401331e 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -275,6 +275,8 @@ exp_aux = (* Expression *) | E_return of exp | E_assert of exp * exp | E_var of exp * exp * exp + | E_internal_plet of pat * exp * exp + | E_internal_return of exp and exp = E_aux of exp_aux * l |