diff options
| -rw-r--r-- | .depend | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -2642,10 +2642,12 @@ contrib/correctness/pwp.cmx: lib/util.cmx pretyping/termops.cmx \ contrib/correctness/pwp.cmi contrib/dp/dp.cmo: lib/util.cmi kernel/term.cmi tactics/tacticals.cmi \ proofs/tacmach.cmi lib/pp.cmi kernel/names.cmi library/nameops.cmi \ - contrib/dp/fol.cmi interp/coqlib.cmi contrib/dp/dp.cmi + contrib/dp/fol.cmi contrib/dp/dp_simplify.cmi interp/coqlib.cmi \ + contrib/dp/dp.cmi contrib/dp/dp.cmx: lib/util.cmx kernel/term.cmx tactics/tacticals.cmx \ proofs/tacmach.cmx lib/pp.cmx kernel/names.cmx library/nameops.cmx \ - contrib/dp/fol.cmi interp/coqlib.cmx contrib/dp/dp.cmi + contrib/dp/fol.cmi contrib/dp/dp_simplify.cmx interp/coqlib.cmx \ + contrib/dp/dp.cmi contrib/dp/dp_simplify.cmo: contrib/dp/fol.cmi contrib/dp/dp_simplify.cmi contrib/dp/dp_simplify.cmx: contrib/dp/fol.cmi contrib/dp/dp_simplify.cmi contrib/dp/g_dp.cmo: lib/util.cmi tactics/tacinterp.cmi proofs/tacexpr.cmo \ |