From c9f53440aebb69733abcc4ae887a84bc28155cda Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 18 Mar 2004 00:02:19 +0000
Subject: maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5528 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .depend | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.depend b/.depend
index 4fb4f37feb..b74a021b52 100644
--- a/.depend
+++ b/.depend
@@ -1751,8 +1751,8 @@ tactics/extratactics.cmo: tactics/autorewrite.cmi toplevel/cerrors.cmi \
     parsing/pptactic.cmi pretyping/rawterm.cmi tactics/refine.cmi \
     proofs/refiner.cmi tactics/setoid_replace.cmi library/summary.cmi \
     proofs/tacexpr.cmo tactics/tacinterp.cmi tactics/tacticals.cmi \
-    tactics/tactics.cmi kernel/term.cmi toplevel/vernacinterp.cmi \
-    tactics/extratactics.cmi 
+    tactics/tactics.cmi kernel/term.cmi lib/util.cmi \
+    toplevel/vernacinterp.cmi tactics/extratactics.cmi 
 tactics/extratactics.cmx: tactics/autorewrite.cmx toplevel/cerrors.cmx \
     interp/constrintern.cmx tactics/contradiction.cmx parsing/egrammar.cmx \
     tactics/equality.cmx pretyping/evd.cmx tactics/extraargs.cmx \
@@ -1762,8 +1762,8 @@ tactics/extratactics.cmx: tactics/autorewrite.cmx toplevel/cerrors.cmx \
     parsing/pptactic.cmx pretyping/rawterm.cmx tactics/refine.cmx \
     proofs/refiner.cmx tactics/setoid_replace.cmx library/summary.cmx \
     proofs/tacexpr.cmx tactics/tacinterp.cmx tactics/tacticals.cmx \
-    tactics/tactics.cmx kernel/term.cmx toplevel/vernacinterp.cmx \
-    tactics/extratactics.cmi 
+    tactics/tactics.cmx kernel/term.cmx lib/util.cmx \
+    toplevel/vernacinterp.cmx tactics/extratactics.cmi 
 tactics/hiddentac.cmo: proofs/evar_refiner.cmi interp/genarg.cmi \
     proofs/proof_type.cmi pretyping/rawterm.cmi proofs/refiner.cmi \
     proofs/tacexpr.cmo proofs/tacmach.cmi tactics/tactics.cmi kernel/term.cmi \
-- 
cgit v1.2.3