diff options
Diffstat (limited to 'typing/printtyp.ml')
| -rw-r--r-- | typing/printtyp.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index c39f04d3ce..941e78f62d 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -1572,6 +1572,7 @@ let dummy = type_attributes = []; type_immediate = false; type_unboxed = unboxed_false_default_false; + type_uid = Uid.internal_not_actually_unique; } let hide ids env = List.fold_right |