maj

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

1 files changed, 10 insertions, 8 deletions

diff --git a/.depend b/.depend
index 07d0da774a..e54739a22a 100644
--- a/.depend
+++ b/.depend
@@ -1441,14 +1441,16 @@ pretyping/evarutil.cmx: lib/util.cmx kernel/univ.cmx pretyping/typing.cmx \
     pretyping/pretype_errors.cmx lib/pp.cmx kernel/names.cmx \
     library/nameops.cmx pretyping/evd.cmx kernel/environ.cmx \
     pretyping/evarutil.cmi 
-pretyping/evd.cmo: lib/util.cmi pretyping/termops.cmi kernel/term.cmi \
-    kernel/sign.cmi kernel/reduction.cmi lib/pp.cmi kernel/names.cmi \
-    library/nameops.cmi kernel/mod_subst.cmi library/libnames.cmi \
-    library/global.cmi kernel/environ.cmi pretyping/evd.cmi 
-pretyping/evd.cmx: lib/util.cmx pretyping/termops.cmx kernel/term.cmx \
-    kernel/sign.cmx kernel/reduction.cmx lib/pp.cmx kernel/names.cmx \
-    library/nameops.cmx kernel/mod_subst.cmx library/libnames.cmx \
-    library/global.cmx kernel/environ.cmx pretyping/evd.cmi 
+pretyping/evd.cmo: lib/util.cmi kernel/univ.cmi pretyping/termops.cmi \
+    kernel/term.cmi kernel/sign.cmi kernel/reduction.cmi lib/pp.cmi \
+    kernel/names.cmi library/nameops.cmi kernel/mod_subst.cmi \
+    library/libnames.cmi library/global.cmi kernel/environ.cmi \
+    pretyping/evd.cmi 
+pretyping/evd.cmx: lib/util.cmx kernel/univ.cmx pretyping/termops.cmx \
+    kernel/term.cmx kernel/sign.cmx kernel/reduction.cmx lib/pp.cmx \
+    kernel/names.cmx library/nameops.cmx kernel/mod_subst.cmx \
+    library/libnames.cmx library/global.cmx kernel/environ.cmx \
+    pretyping/evd.cmi 
 pretyping/indrec.cmo: lib/util.cmi kernel/typeops.cmi kernel/type_errors.cmi \
     pretyping/termops.cmi kernel/term.cmi kernel/safe_typing.cmi \
     pretyping/reductionops.cmi kernel/reduction.cmi lib/pp.cmi \