From fff0c6a1a565423b28699289ba448da3b2e84d75 Mon Sep 17 00:00:00 2001
From: coq
Date: Thu, 7 Apr 2005 22:32:17 +0000
Subject: maj

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

diff --git a/.depend b/.depend
index 3c43cc79a4..68561444b2 100644
--- a/.depend
+++ b/.depend
@@ -2640,16 +2640,20 @@ contrib/correctness/pwp.cmx: lib/util.cmx pretyping/termops.cmx \
     library/nametab.cmx kernel/names.cmx library/libnames.cmx \
     tactics/hipattern.cmx library/global.cmx kernel/environ.cmx \
     contrib/correctness/pwp.cmi 
-contrib/dp/dp.cmo: lib/util.cmi pretyping/termops.cmi kernel/term.cmi \
-    tactics/tactics.cmi proofs/tacmach.cmi lib/pp.cmi library/nametab.cmi \
-    kernel/names.cmi library/nameops.cmi library/libnames.cmi \
-    tactics/hipattern.cmi library/global.cmi contrib/dp/fol.cmi \
-    contrib/dp/dp_simplify.cmi interp/coqlib.cmi contrib/dp/dp.cmi 
-contrib/dp/dp.cmx: lib/util.cmx pretyping/termops.cmx kernel/term.cmx \
-    tactics/tactics.cmx proofs/tacmach.cmx lib/pp.cmx library/nametab.cmx \
-    kernel/names.cmx library/nameops.cmx library/libnames.cmx \
-    tactics/hipattern.cmx library/global.cmx contrib/dp/fol.cmi \
-    contrib/dp/dp_simplify.cmx interp/coqlib.cmx contrib/dp/dp.cmi 
+contrib/dp/dp.cmo: lib/util.cmi pretyping/typing.cmi pretyping/termops.cmi \
+    kernel/term.cmi tactics/tactics.cmi proofs/tacmach.cmi lib/pp.cmi \
+    library/nametab.cmi kernel/names.cmi library/nameops.cmi \
+    library/libnames.cmi tactics/hipattern.cmi library/global.cmi \
+    contrib/dp/fol.cmi pretyping/evd.cmi kernel/environ.cmi \
+    contrib/dp/dp_simplify.cmi kernel/declarations.cmi interp/coqlib.cmi \
+    contrib/dp/dp.cmi 
+contrib/dp/dp.cmx: lib/util.cmx pretyping/typing.cmx pretyping/termops.cmx \
+    kernel/term.cmx tactics/tactics.cmx proofs/tacmach.cmx lib/pp.cmx \
+    library/nametab.cmx kernel/names.cmx library/nameops.cmx \
+    library/libnames.cmx tactics/hipattern.cmx library/global.cmx \
+    contrib/dp/fol.cmi pretyping/evd.cmx kernel/environ.cmx \
+    contrib/dp/dp_simplify.cmx kernel/declarations.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/tactics.cmi tactics/tacinterp.cmi \
-- 
cgit v1.2.3