diff --git a/src/base/abci/module.make b/src/base/abci/module.make
index 1a240e911..ea2dc1b75 100644
--- a/src/base/abci/module.make
+++ b/src/base/abci/module.make
@@ -43,6 +43,7 @@ SRC +=    src/base/abci/abc.c \
     src/base/abci/abcQbf.c \
     src/base/abci/abcQuant.c \
     src/base/abci/abcRec.c \
+    src/base/abci/abcRec2.c \
     src/base/abci/abcReconv.c \
     src/base/abci/abcReach.c \
     src/base/abci/abcRefactor.c \