From 762c75bf444fbf48a2ef3a119bb343f54e2dc837 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 1 Mar 2005 10:47:06 +0000
Subject: MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6786 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .depend.coq7 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.depend.coq7 b/.depend.coq7
index 086ca5717a..09024b2773 100644
--- a/.depend.coq7
+++ b/.depend.coq7
@@ -211,7 +211,7 @@ theories7/ZArith/fast_integer.vo: theories7/ZArith/fast_integer.v theories7/NAri
 theories7/Reals/Rsyntax.vo: theories7/Reals/Rsyntax.v theories7/Reals/Rdefinitions.vo
 contrib7/omega/OmegaLemmas.vo: contrib7/omega/OmegaLemmas.v theories7/ZArith/ZArith_base.vo
 contrib7/omega/Omega.vo: contrib7/omega/Omega.v theories7/ZArith/ZArith_base.vo contrib7/omega/OmegaLemmas.vo theories7/ZArith/Zhints.vo
-contrib7/romega/ReflOmegaCore.vo: contrib7/romega/ReflOmegaCore.v theories7/Arith/Arith.vo theories7/Lists/PolyList.vo theories7/Bool/Bool.vo theories7/ZArith/ZArith.vo contrib7/omega/OmegaLemmas.vo theories7/Logic/Decidable.vo
+contrib7/romega/ReflOmegaCore.vo: contrib7/romega/ReflOmegaCore.v theories7/Arith/Arith.vo theories7/Lists/PolyList.vo theories7/Bool/Bool.vo theories7/ZArith/ZArith_base.vo contrib7/omega/OmegaLemmas.vo theories7/Logic/Decidable.vo
 contrib7/romega/ROmega.vo: contrib7/romega/ROmega.v contrib7/omega/Omega.vo contrib7/romega/ReflOmegaCore.vo
 contrib7/ring/ArithRing.vo: contrib7/ring/ArithRing.v contrib7/ring/Ring.vo theories7/Arith/Arith.vo theories7/Logic/Eqdep_dec.vo
 contrib7/ring/Ring_normalize.vo: contrib7/ring/Ring_normalize.v contrib7/ring/Ring_theory.vo contrib7/ring/Quote.vo
-- 
cgit v1.2.3