1 files changed, 1 insertions, 1 deletions
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) \