diff options
Diffstat (limited to 'typing/mtype.ml')
| -rw-r--r-- | typing/mtype.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/mtype.ml b/typing/mtype.ml index 38894e13ce..e36fd4f9e6 100644 --- a/typing/mtype.ml +++ b/typing/mtype.ml @@ -213,7 +213,7 @@ and nondep_sig_item env va ids = function with Ctype.Nondep_cannot_erase _ as exn -> match va with Co -> Sig_modtype(id, {mtd_type=None; mtd_loc=Location.none; - mtd_attributes=[]}, vis) + mtd_attributes=[]; mtd_uid = d.mtd_uid}, vis) | _ -> raise exn end | Sig_class(id, d, rs, vis) -> |