dune: add Typedecl_separability

This commit is contained in:
Thomas Refis 2020-02-12 17:11:31 +01:00
parent 72a6fa423e
commit d12044e6c2
1 changed files with 1 additions and 1 deletions

2
dune
View File

@ -61,7 +61,7 @@
tast_iterator tast_mapper cmt_format untypeast includemod
typetexp printpat parmatch stypes typedecl typeopt rec_check typecore
typeclass typemod typedecl_variance typedecl_properties typedecl_immediacy
typedecl_unboxed
typedecl_unboxed typedecl_separability
; manual update: mli only files
annot outcometree