From 04fe5b8a07e0981e8f127fe89f26ff10db124e0c Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 2 Oct 2002 01:02:24 +0000
Subject: maj

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

diff --git a/.depend.coq b/.depend.coq
index 719a40da5a..58116b2d0b 100644
--- a/.depend.coq
+++ b/.depend.coq
@@ -1,3 +1,4 @@
+contrib/cc/CC.vo: contrib/cc/CC.v theories/Logic/Eqdep_dec.vo
 contrib/interface/Centaur.vo: contrib/interface/Centaur.v
 contrib/fourier/Fourier.vo: contrib/fourier/Fourier.v contrib/fourier/Fourier_util.vo contrib/field/Field.vo theories/Reals/DiscrR.vo
 contrib/fourier/Fourier_util.vo: contrib/fourier/Fourier_util.v theories/Reals/Rbase.vo
-- 
cgit v1.2.3