update dune file

master
Thomas Refis 2018-11-26 16:42:19 +00:00
parent 6dc171e387
commit f86d10aebd
1 changed files with 2 additions and 1 deletions

3
dune
View File

@ -55,7 +55,8 @@
typedtree printtyped ctype printtyp includeclass mtype envaux includecore
typedtreeIter typedtreeMap tast_mapper cmt_format untypeast includemod
typetexp printpat parmatch stypes typedecl typeopt rec_check typecore
typeclass typemod
typeclass typemod typedecl_variance typedecl_properties typedecl_immediacy
typedecl_unboxed
; manual update: mli only files
annot outcometree