From 97b15a29a067065bc6803739c2a4f0bf4a6879cb Mon Sep 17 00:00:00 2001 From: xiran Date: Mon, 11 May 2026 14:02:23 -0700 Subject: [PATCH] Fix: fix the build bug in abclib.dsp by registering cecCorrIncr.c --- abclib.dsp | 4 ++++ 1 file changed, 4 insertions(+) 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