maj

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

1 files changed, 4 insertions, 4 deletions

diff --git a/.depend b/.depend
index b74a021b52..4fb4f37feb 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 lib/util.cmi \
-    toplevel/vernacinterp.cmi tactics/extratactics.cmi 
+    tactics/tactics.cmi kernel/term.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 lib/util.cmx \
-    toplevel/vernacinterp.cmx tactics/extratactics.cmi 
+    tactics/tactics.cmx kernel/term.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 \