From b73f1030a654b0db551d08145ba097044e90106d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 2 Mar 2024 17:03:42 -0800
Subject: [PATCH] More changes.

---
 src/sat/bsat2/module.make | 2 --
 1 file changed, 2 deletions(-)

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 \