diff options
| -rw-r--r-- | typing/typemod.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/typemod.ml b/typing/typemod.ml index 7deac508a..174256e4a 100644 --- a/typing/typemod.ml +++ b/typing/typemod.ml @@ -107,6 +107,7 @@ let rec transl_modtype env smty = Tmty_signature final_sg and transl_signature env sg = + Ctype.init_def(Ident.current_time()); match sg with [] -> [] | {psig_desc = Psig_value(name, sdesc)} :: srem -> |