diff --git a/abclib.dsp b/abclib.dsp
index f1d622d2b..2f16e849e 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -6681,6 +6681,10 @@ SOURCE=.\src\proof\cec\cecCorr.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\proof\cec\cecCorrIncr.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\proof\cec\cecInt.h
 # End Source File
 # Begin Source File