From fef94502b2ffd2012abcf1a0315b000e9a0951ad Mon Sep 17 00:00:00 2001
From: coq
Date: Sat, 28 Jan 2006 23:36:01 +0000
Subject: maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7942 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .depend     | 6 ++++--
 make.result | 2 +-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/.depend b/.depend
index b4d3184104..ef0adb5060 100644
--- a/.depend
+++ b/.depend
@@ -265,8 +265,8 @@ tactics/contradiction.cmi: kernel/term.cmi pretyping/rawterm.cmi \
     proofs/proof_type.cmi kernel/names.cmi 
 tactics/dhyp.cmi: toplevel/vernacexpr.cmo interp/topconstr.cmi \
     proofs/tacmach.cmi proofs/tacexpr.cmo kernel/names.cmi 
-tactics/eauto.cmi: kernel/term.cmi proofs/tacexpr.cmo proofs/proof_type.cmi \
-    tactics/auto.cmi 
+tactics/eauto.cmi: interp/topconstr.cmi kernel/term.cmi proofs/tacexpr.cmo \
+    proofs/proof_type.cmi tactics/auto.cmi 
 tactics/elim.cmi: kernel/term.cmi tactics/tacticals.cmi proofs/tacmach.cmi \
     pretyping/rawterm.cmi proofs/proof_type.cmi kernel/names.cmi \
     interp/genarg.cmi 
@@ -865,6 +865,8 @@ lib/tlm.cmo: lib/gset.cmi lib/gmap.cmi lib/tlm.cmi
 lib/tlm.cmx: lib/gset.cmx lib/gmap.cmx lib/tlm.cmi 
 lib/util.cmo: lib/pp.cmi lib/compat.cmo lib/util.cmi 
 lib/util.cmx: lib/pp.cmx lib/compat.cmx lib/util.cmi 
+library/decl_kinds.cmo: lib/util.cmi 
+library/decl_kinds.cmx: lib/util.cmx 
 library/declare.cmo: lib/util.cmi kernel/univ.cmi kernel/typeops.cmi \
     kernel/type_errors.cmi kernel/term.cmi library/summary.cmi \
     kernel/sign.cmi kernel/safe_typing.cmi kernel/reduction.cmi lib/pp.cmi \
diff --git a/make.result b/make.result
index 5ac95ace38..88019e0f5f 100644
--- a/make.result
+++ b/make.result
@@ -1 +1 @@
-Sat 28/01/2006 00:30: Success
+Sun 29/01/2006 00:30: Success
-- 
cgit v1.2.3