diff options
Diffstat (limited to 'typing/typedtree.mli')
| -rw-r--r-- | typing/typedtree.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typing/typedtree.mli b/typing/typedtree.mli index eb64937cfe..44ffba69d7 100644 --- a/typing/typedtree.mli +++ b/typing/typedtree.mli @@ -45,7 +45,8 @@ type expression = { exp_desc: expression_desc; exp_loc: Location.t; exp_type: type_expr; - exp_env: Env.t } + exp_env: Env.t; + } and expression_desc = Texp_ident of Path.t * value_description |