maj

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

1 files changed, 1 insertions, 1 deletions

diff --git a/.depend b/.depend
index 96d8809a91..032b5baa3c 100644
--- a/.depend
+++ b/.depend
@@ -257,7 +257,7 @@ tactics/extratactics.cmi: interp/genarg.cmi kernel/names.cmi \
     proofs/proof_type.cmi pretyping/rawterm.cmi kernel/term.cmi 
 tactics/hiddentac.cmi: kernel/names.cmi proofs/proof_type.cmi \
     pretyping/rawterm.cmi proofs/tacexpr.cmo proofs/tacmach.cmi \
-    pretyping/tacred.cmi kernel/term.cmi 
+    pretyping/tacred.cmi tactics/tacticals.cmi kernel/term.cmi 
 tactics/hipattern.cmi: interp/coqlib.cmi pretyping/evd.cmi kernel/names.cmi \
     pretyping/pattern.cmi proofs/proof_trees.cmi proofs/proof_type.cmi \
     kernel/sign.cmi proofs/tacmach.cmi kernel/term.cmi lib/util.cmi