maj

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

2 files changed, 6 insertions, 6 deletions

diff --git a/.depend b/.depend
index 3ad4eafb65..b9f1493dfa 100644
--- a/.depend
+++ b/.depend
@@ -3309,13 +3309,13 @@ contrib/romega/g_romega.cmx: lib/util.cmx tactics/tacinterp.cmx \
 contrib/romega/refl_omega.cmo: lib/util.cmi kernel/term.cmi \
     tactics/tactics.cmi tactics/tacticals.cmi proofs/tacmach.cmi \
     parsing/printer.cmi lib/pp.cmi lib/options.cmi contrib/omega/omega.cmo \
-    kernel/names.cmi proofs/logic.cmi contrib/romega/const_omega.cmo \
-    lib/bigint.cmi 
+    kernel/names.cmi proofs/logic.cmi interp/coqlib.cmi \
+    contrib/romega/const_omega.cmo lib/bigint.cmi 
 contrib/romega/refl_omega.cmx: lib/util.cmx kernel/term.cmx \
     tactics/tactics.cmx tactics/tacticals.cmx proofs/tacmach.cmx \
     parsing/printer.cmx lib/pp.cmx lib/options.cmx contrib/omega/omega.cmx \
-    kernel/names.cmx proofs/logic.cmx contrib/romega/const_omega.cmx \
-    lib/bigint.cmx 
+    kernel/names.cmx proofs/logic.cmx interp/coqlib.cmx \
+    contrib/romega/const_omega.cmx lib/bigint.cmx 
 contrib/xml/acic.cmo: kernel/term.cmi kernel/names.cmi 
 contrib/xml/acic.cmx: kernel/term.cmx kernel/names.cmx 
 contrib/xml/acic2Xml.cmo: contrib/xml/xml.cmi lib/util.cmi kernel/term.cmi \
diff --git a/.depend.coq b/.depend.coq
index ea365e241e..da1504451f 100644
--- a/.depend.coq
+++ b/.depend.coq
@@ -258,8 +258,8 @@ theories/Sorting/Permutation.vo: theories/Sorting/Permutation.v theories/Relatio
 theories/Sorting/Sorting.vo: theories/Sorting/Sorting.v theories/Lists/List.vo theories/Sets/Multiset.vo theories/Sorting/Permutation.vo theories/Relations/Relations.vo
 contrib/omega/OmegaLemmas.vo: contrib/omega/OmegaLemmas.v theories/ZArith/ZArith_base.vo
 contrib/omega/Omega.vo: contrib/omega/Omega.v theories/ZArith/ZArith_base.vo contrib/omega/OmegaLemmas.vo theories/ZArith/Zhints.vo
-contrib/romega/ReflOmegaCore.vo: contrib/romega/ReflOmegaCore.v theories/Arith/Arith.vo theories/Lists/List.vo theories/Bool/Bool.vo theories/ZArith/ZArith.vo contrib/omega/OmegaLemmas.vo theories/Logic/Decidable.vo
-contrib/romega/ROmega.vo: contrib/romega/ROmega.v contrib/omega/Omega.vo contrib/romega/ReflOmegaCore.vo
+contrib/romega/ReflOmegaCore.vo: contrib/romega/ReflOmegaCore.v theories/Arith/Arith.vo theories/Lists/List.vo theories/Bool/Bool.vo theories/ZArith/ZArith_base.vo contrib/omega/OmegaLemmas.vo theories/Logic/Decidable.vo
+contrib/romega/ROmega.vo: contrib/romega/ROmega.v contrib/romega/ReflOmegaCore.vo
 contrib/ring/ArithRing.vo: contrib/ring/ArithRing.v contrib/ring/Ring.vo theories/Arith/Arith.vo theories/Logic/Eqdep_dec.vo
 contrib/ring/Ring_normalize.vo: contrib/ring/Ring_normalize.v contrib/ring/Ring_theory.vo contrib/ring/Quote.vo
 contrib/ring/Ring_theory.vo: contrib/ring/Ring_theory.v theories/Bool/Bool.vo