diff options
Diffstat (limited to '.depend')
| -rw-r--r-- | .depend | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2164,7 +2164,7 @@ toplevel/metasyntax.cmo: toplevel/vernacexpr.cmo lib/util.cmi \ library/libobject.cmi library/libnames.cmi library/lib.cmi \ parsing/lexer.cmi library/global.cmi parsing/extend.cmi \ parsing/egrammar.cmi interp/constrintern.cmi pretyping/classops.cmi \ - toplevel/metasyntax.cmi + lib/bigint.cmi toplevel/metasyntax.cmi toplevel/metasyntax.cmx: toplevel/vernacexpr.cmx lib/util.cmx \ interp/topconstr.cmx tactics/tacinterp.cmx library/summary.cmx \ pretyping/rawterm.cmx parsing/pptactic.cmx interp/ppextend.cmx lib/pp.cmx \ @@ -2172,7 +2172,7 @@ toplevel/metasyntax.cmx: toplevel/vernacexpr.cmx lib/util.cmx \ library/libobject.cmx library/libnames.cmx library/lib.cmx \ parsing/lexer.cmx library/global.cmx parsing/extend.cmx \ parsing/egrammar.cmx interp/constrintern.cmx pretyping/classops.cmx \ - toplevel/metasyntax.cmi + lib/bigint.cmx toplevel/metasyntax.cmi toplevel/minicoq.cmo: lib/util.cmi kernel/type_errors.cmi kernel/term.cmi \ kernel/sign.cmi kernel/safe_typing.cmi lib/pp.cmi kernel/names.cmi \ kernel/inductive.cmi parsing/g_minicoq.cmi toplevel/fhimsg.cmi \ |