File tree 1 file changed +3
-2
lines changed
1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -1867,8 +1867,7 @@ typing/typemod.cmi : \
1867
1867
typing/ident.cmi \
1868
1868
typing/env.cmi \
1869
1869
utils/compilation_unit.cmi \
1870
- file_formats/cmi_format.cmi \
1871
- utils/clflags.cmi
1870
+ file_formats/cmi_format.cmi
1872
1871
typing/typeopt.cmo : \
1873
1872
typing/types.cmi \
1874
1873
typing/typedtree.cmi \
@@ -1998,6 +1997,7 @@ typing/typetexp.cmi : \
1998
1997
parsing/location.cmi \
1999
1998
typing/errortrace.cmi \
2000
1999
typing/env.cmi \
2000
+ utils/clflags.cmi \
2001
2001
parsing/asttypes.cmi
2002
2002
typing/untypeast.cmo : \
2003
2003
typing/typedtree.cmi \
@@ -4150,6 +4150,7 @@ file_formats/cmx_format.cmi : \
4150
4150
utils/compilation_unit.cmi \
4151
4151
middle_end/clambda.cmi
4152
4152
file_formats/cmxs_format.cmi : \
4153
+ utils/import_info.cmi \
4153
4154
utils/compilation_unit.cmi
4154
4155
file_formats/linear_format.cmo : \
4155
4156
utils/misc.cmi \
You can’t perform that action at this time.
0 commit comments