From 646458624c8b858cef6227d890ee78faf96b6371 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 7 Nov 2003 00:02:44 +0000
Subject: maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4821 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .depend | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 \
-- 
cgit v1.2.3