maj

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

1 files changed, 6 insertions, 6 deletions

diff --git a/.depend b/.depend
index d9197b8f2..b49f64e48 100644
--- a/.depend
+++ b/.depend
@@ -3160,9 +3160,9 @@ contrib/xml/cic2acic.cmo: contrib/xml/acic.cmo kernel/conv_oracle.cmi \
     library/lib.cmi library/libnames.cmi library/library.cmi \
     library/nameops.cmi kernel/names.cmi library/nametab.cmi lib/pp.cmi \
     parsing/printer.cmi pretyping/rawterm.cmi pretyping/reductionops.cmi \
-    pretyping/retyping.cmi lib/system.cmi pretyping/tacred.cmi \
-    kernel/term.cmi pretyping/termops.cmi kernel/univ.cmi \
-    contrib/xml/unshare.cmi lib/util.cmi 
+    pretyping/retyping.cmi pretyping/tacred.cmi kernel/term.cmi \
+    pretyping/termops.cmi kernel/univ.cmi contrib/xml/unshare.cmi \
+    lib/util.cmi 
 contrib/xml/cic2acic.cmx: contrib/xml/acic.cmx kernel/conv_oracle.cmx \
     kernel/declarations.cmx library/declare.cmx library/dischargedhypsmap.cmx \
     contrib/xml/doubleTypeInference.cmx kernel/environ.cmx \
@@ -3171,9 +3171,9 @@ contrib/xml/cic2acic.cmx: contrib/xml/acic.cmx kernel/conv_oracle.cmx \
     library/lib.cmx library/libnames.cmx library/library.cmx \
     library/nameops.cmx kernel/names.cmx library/nametab.cmx lib/pp.cmx \
     parsing/printer.cmx pretyping/rawterm.cmx pretyping/reductionops.cmx \
-    pretyping/retyping.cmx lib/system.cmx pretyping/tacred.cmx \
-    kernel/term.cmx pretyping/termops.cmx kernel/univ.cmx \
-    contrib/xml/unshare.cmx lib/util.cmx 
+    pretyping/retyping.cmx pretyping/tacred.cmx kernel/term.cmx \
+    pretyping/termops.cmx kernel/univ.cmx contrib/xml/unshare.cmx \
+    lib/util.cmx 
 contrib/xml/doubleTypeInference.cmo: contrib/xml/acic.cmo kernel/environ.cmi \
     pretyping/evarutil.cmi pretyping/evd.cmi kernel/inductive.cmi \
     pretyping/instantiate.cmi lib/pp.cmi parsing/printer.cmi \