Updated Makefile

master
Isaac Avram 2019-03-23 18:26:37 -07:00
parent 8bd9c7b294
commit 8468464354
1 changed files with 1 additions and 1 deletions

View File

@ -98,7 +98,7 @@ TYPING=typing/ident.cmo typing/path.cmo \
typing/typedtree.cmo typing/printtyped.cmo typing/ctype.cmo \
typing/printtyp.cmo typing/includeclass.cmo \
typing/mtype.cmo typing/envaux.cmo typing/includecore.cmo \
typing/typedtreeIter.cmo typing/tast_mapper.cmo \
typing/tast_iterator.cmo typing/tast_mapper.cmo \
typing/cmt_format.cmo typing/untypeast.cmo \
typing/includemod.cmo typing/typetexp.cmo typing/printpat.cmo \
typing/parmatch.cmo typing/stypes.cmo \