maj

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

1 files changed, 4 insertions, 2 deletions

diff --git a/.depend b/.depend
index 433e0d1793..2633fa8256 100644
--- a/.depend
+++ b/.depend
@@ -2642,10 +2642,12 @@ contrib/correctness/pwp.cmx: lib/util.cmx pretyping/termops.cmx \
     contrib/correctness/pwp.cmi 
 contrib/dp/dp.cmo: lib/util.cmi kernel/term.cmi tactics/tacticals.cmi \
     proofs/tacmach.cmi lib/pp.cmi kernel/names.cmi library/nameops.cmi \
-    contrib/dp/fol.cmi interp/coqlib.cmi contrib/dp/dp.cmi 
+    contrib/dp/fol.cmi contrib/dp/dp_simplify.cmi interp/coqlib.cmi \
+    contrib/dp/dp.cmi 
 contrib/dp/dp.cmx: lib/util.cmx kernel/term.cmx tactics/tacticals.cmx \
     proofs/tacmach.cmx lib/pp.cmx kernel/names.cmx library/nameops.cmx \
-    contrib/dp/fol.cmi interp/coqlib.cmx contrib/dp/dp.cmi 
+    contrib/dp/fol.cmi contrib/dp/dp_simplify.cmx interp/coqlib.cmx \
+    contrib/dp/dp.cmi 
 contrib/dp/dp_simplify.cmo: contrib/dp/fol.cmi contrib/dp/dp_simplify.cmi 
 contrib/dp/dp_simplify.cmx: contrib/dp/fol.cmi contrib/dp/dp_simplify.cmi 
 contrib/dp/g_dp.cmo: lib/util.cmi tactics/tacinterp.cmi proofs/tacexpr.cmo \