maj

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

1 files changed, 1 insertions, 1 deletions

diff --git a/.depend b/.depend
index ee6962b7e0..c7c496e7df 100644
--- a/.depend
+++ b/.depend
@@ -204,7 +204,7 @@ proofs/clenv.cmi: kernel/environ.cmi pretyping/evd.cmi kernel/names.cmi \
     kernel/term.cmi pretyping/termops.cmi lib/util.cmi 
 proofs/evar_refiner.cmi: kernel/environ.cmi pretyping/evd.cmi \
     kernel/names.cmi proofs/proof_type.cmi proofs/refiner.cmi kernel/sign.cmi \
-    kernel/term.cmi interp/topconstr.cmi 
+    tactics/tacticals.cmi kernel/term.cmi interp/topconstr.cmi 
 proofs/logic.cmi: kernel/environ.cmi pretyping/evd.cmi kernel/names.cmi \
     lib/pp.cmi proofs/proof_type.cmi kernel/sign.cmi kernel/term.cmi 
 proofs/pfedit.cmi: library/decl_kinds.cmo kernel/entries.cmi \