diff options
| -rw-r--r-- | .depend | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1751,8 +1751,8 @@ tactics/extratactics.cmo: tactics/autorewrite.cmi toplevel/cerrors.cmi \ parsing/pptactic.cmi pretyping/rawterm.cmi tactics/refine.cmi \ proofs/refiner.cmi tactics/setoid_replace.cmi library/summary.cmi \ proofs/tacexpr.cmo tactics/tacinterp.cmi tactics/tacticals.cmi \ - tactics/tactics.cmi kernel/term.cmi toplevel/vernacinterp.cmi \ - tactics/extratactics.cmi + tactics/tactics.cmi kernel/term.cmi lib/util.cmi \ + toplevel/vernacinterp.cmi tactics/extratactics.cmi tactics/extratactics.cmx: tactics/autorewrite.cmx toplevel/cerrors.cmx \ interp/constrintern.cmx tactics/contradiction.cmx parsing/egrammar.cmx \ tactics/equality.cmx pretyping/evd.cmx tactics/extraargs.cmx \ @@ -1762,8 +1762,8 @@ tactics/extratactics.cmx: tactics/autorewrite.cmx toplevel/cerrors.cmx \ parsing/pptactic.cmx pretyping/rawterm.cmx tactics/refine.cmx \ proofs/refiner.cmx tactics/setoid_replace.cmx library/summary.cmx \ proofs/tacexpr.cmx tactics/tacinterp.cmx tactics/tacticals.cmx \ - tactics/tactics.cmx kernel/term.cmx toplevel/vernacinterp.cmx \ - tactics/extratactics.cmi + tactics/tactics.cmx kernel/term.cmx lib/util.cmx \ + toplevel/vernacinterp.cmx tactics/extratactics.cmi tactics/hiddentac.cmo: proofs/evar_refiner.cmi interp/genarg.cmi \ proofs/proof_type.cmi pretyping/rawterm.cmi proofs/refiner.cmi \ proofs/tacexpr.cmo proofs/tacmach.cmi tactics/tactics.cmi kernel/term.cmi \ |