diff --git a/src/proof/cec/module.make b/src/proof/cec/module.make
index 1f8189a51..82e0de748 100644
--- a/src/proof/cec/module.make
+++ b/src/proof/cec/module.make
@@ -8,5 +8,6 @@ SRC +=    src/proof/cec/cecCec.c \
     src/proof/cec/cecPat.c \
     src/proof/cec/cecSeq.c \
     src/proof/cec/cecSolve.c \
+    src/proof/cec/cecSplit.c \
     src/proof/cec/cecSynth.c \
     src/proof/cec/cecSweep.c