diff --git a/src/sat/bsat2/module.make b/src/sat/bsat2/module.make
index ddd11b1b9..87cdc11ca 100644
--- a/src/sat/bsat2/module.make
+++ b/src/sat/bsat2/module.make
@@ -1,6 +1,4 @@
 SRC +=  src/sat/bsat2/AbcApi.cpp \
-    src/sat/bsat2/MainSat.cpp \
-    src/sat/bsat2/MainSimp.cpp \
     src/sat/bsat2/Options.cpp \
     src/sat/bsat2/SimpSolver.cpp \
     src/sat/bsat2/Solver.cpp \