diff options
Diffstat (limited to 'compilerlibs')
-rw-r--r-- | compilerlibs/Makefile.compilerlibs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compilerlibs/Makefile.compilerlibs b/compilerlibs/Makefile.compilerlibs index 5ce1945b8d..4bcd179c1e 100644 --- a/compilerlibs/Makefile.compilerlibs +++ b/compilerlibs/Makefile.compilerlibs @@ -54,10 +54,10 @@ 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/tast_iterator.cmo typing/tast_mapper.cmo \ - file_formats/cmt_format.cmo typing/untypeast.cmo \ + typing/tast_iterator.cmo typing/tast_mapper.cmo typing/stypes.cmo \ + file_formats/cmt_format.cmo typing/cmt2annot.cmo typing/untypeast.cmo \ typing/includemod.cmo typing/typetexp.cmo typing/printpat.cmo \ - typing/parmatch.cmo typing/stypes.cmo \ + typing/parmatch.cmo \ typing/typedecl_properties.cmo typing/typedecl_variance.cmo \ typing/typedecl_unboxed.cmo typing/typedecl_immediacy.cmo \ typing/typedecl_separability.cmo \ |