maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6239 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files 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 \