diff --git a/src/aig/gia/module.make b/src/aig/gia/module.make
index 0bee35246..5004199b2 100644
--- a/src/aig/gia/module.make
+++ b/src/aig/gia/module.make
@@ -7,6 +7,7 @@ SRC +=    src/aig/gia/giaAig.c \
     src/aig/gia/giaBidec.c \
     src/aig/gia/giaCCof.c \
     src/aig/gia/giaCex.c \
+    src/aig/gia/giaClp.c \
     src/aig/gia/giaCof.c \
     src/aig/gia/giaCone.c \
     src/aig/gia/giaCSatOld.c \