diff options
Diffstat (limited to 'typing/typetexp.ml')
-rw-r--r-- | typing/typetexp.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/typing/typetexp.ml b/typing/typetexp.ml index 3b7b06e52f..3316933700 100644 --- a/typing/typetexp.ml +++ b/typing/typetexp.ml @@ -152,7 +152,6 @@ end = struct let reset () = reset_global_level (); - Ctype.reset_reified_var_counter (); type_variables := TyVarMap.empty let is_in_scope name = |