From 9bf85690375aa1dee3717bc7838fd966a57ec284 Mon Sep 17 00:00:00 2001 From: filliatr Date: Mon, 18 Oct 2004 23:02:33 +0000 Subject: maj git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6239 85f007b7-540e-0410-9357-904b9bb8a0f7 --- .depend | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.depend b/.depend index a1a4e7f2b8..4a201f8570 100644 --- a/.depend +++ b/.depend @@ -1900,8 +1900,8 @@ tactics/setoid_replace.cmo: pretyping/clenv.cmi kernel/closure.cmi \ library/declare.cmi kernel/entries.cmi kernel/environ.cmi \ pretyping/evarutil.cmi pretyping/evd.cmi library/global.cmi lib/gmap.cmi \ library/lib.cmi library/libnames.cmi library/libobject.cmi \ - library/nameops.cmi kernel/names.cmi library/nametab.cmi lib/options.cmi \ - proofs/pfedit.cmi lib/pp.cmi translate/ppconstrnew.cmi \ + proofs/logic.cmi library/nameops.cmi kernel/names.cmi library/nametab.cmi \ + lib/options.cmi proofs/pfedit.cmi lib/pp.cmi translate/ppconstrnew.cmi \ pretyping/pretype_errors.cmi parsing/printer.cmi proofs/proof_type.cmi \ pretyping/rawterm.cmi kernel/reduction.cmi pretyping/reductionops.cmi \ kernel/safe_typing.cmi kernel/sign.cmi library/summary.cmi \ @@ -1914,8 +1914,8 @@ tactics/setoid_replace.cmx: pretyping/clenv.cmx kernel/closure.cmx \ library/declare.cmx kernel/entries.cmx kernel/environ.cmx \ pretyping/evarutil.cmx pretyping/evd.cmx library/global.cmx lib/gmap.cmx \ library/lib.cmx library/libnames.cmx library/libobject.cmx \ - library/nameops.cmx kernel/names.cmx library/nametab.cmx lib/options.cmx \ - proofs/pfedit.cmx lib/pp.cmx translate/ppconstrnew.cmx \ + proofs/logic.cmx library/nameops.cmx kernel/names.cmx library/nametab.cmx \ + lib/options.cmx proofs/pfedit.cmx lib/pp.cmx translate/ppconstrnew.cmx \ pretyping/pretype_errors.cmx parsing/printer.cmx proofs/proof_type.cmx \ pretyping/rawterm.cmx kernel/reduction.cmx pretyping/reductionops.cmx \ kernel/safe_typing.cmx kernel/sign.cmx library/summary.cmx \ -- cgit v1.2.3