diff options
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index 3951ab51..b259611d 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -288,6 +288,7 @@ exp_aux = (* Expression *) | E_try of exp * pexp list | E_return of exp | E_assert of exp * exp + | E_internal_let of exp * exp * exp and exp = E_aux of exp_aux * l |