From 3ffd87f169443d686c98b76668af3fbcb486e28f Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 30 Apr 2003 01:02:32 +0000
Subject: maj

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

diff --git a/.depend.coq b/.depend.coq
index 234d818b2f..c4fae47594 100644
--- a/.depend.coq
+++ b/.depend.coq
@@ -74,6 +74,7 @@ theories/Logic/Eqdep.vo: theories/Logic/Eqdep.v
 theories/Logic/Classical_Pred_Type.vo: theories/Logic/Classical_Pred_Type.v theories/Logic/Classical_Prop.vo
 theories/Logic/Classical_Prop.vo: theories/Logic/Classical_Prop.v theories/Logic/ProofIrrelevance.vo
 theories/Logic/ClassicalFacts.vo: theories/Logic/ClassicalFacts.v
+theories/Logic/ChoiceFacts.vo: theories/Logic/ChoiceFacts.v
 theories/Logic/Berardi.vo: theories/Logic/Berardi.v
 theories/Logic/Eqdep_dec.vo: theories/Logic/Eqdep_dec.v
 theories/Logic/Decidable.vo: theories/Logic/Decidable.v
-- 
cgit v1.2.3