From f0e24c6a8b66e86a22370fcc45d1f3e7543496fd Mon Sep 17 00:00:00 2001
From: corbinea
Date: Sat, 29 Nov 2003 12:19:35 +0000
Subject: ground->firstorder, cc-> congruence, CC final commit

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 9e0cc51fd7..8eb8a56533 100644
--- a/Makefile
+++ b/Makefile
@@ -762,7 +762,7 @@ FUNINDVO=
 JPROVERVO= 
 
 CCVO=\
- contrib/cc/CC.vo
+ contrib/cc/CCSolve.vo
 
 CONTRIBVO = $(OMEGAVO) $(ROMEGAVO) $(RINGVO) $(FIELDVO) $(XMLVO) \
 	    $(CORRECTNESSVO) $(FOURIERVO) \
-- 
cgit v1.2.3