diff options
Diffstat (limited to 'typing/typedecl.mli')
| -rw-r--r-- | typing/typedecl.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/typedecl.mli b/typing/typedecl.mli index e23434c7f0..5bb928b1ea 100644 --- a/typing/typedecl.mli +++ b/typing/typedecl.mli @@ -75,6 +75,7 @@ type error = | Bad_variance of int * (bool*bool) * (bool*bool) | Unavailable_type_constructor of Path.t | Bad_fixed_type of string + | Unbound_type_var_exc of type_expr * type_expr exception Error of Location.t * error |