diffblue
diff --git a/‎src/solvers/Makefile
-1 b/‎src/solvers/Makefile
-1
diff --git a/‎src/solvers/sat/satcheck.cpp
-24 b/‎src/solvers/sat/satcheck.cpp
-24
diff --git a/‎src/util/Makefile
-1 b/‎src/util/Makefile
-1
diff --git a/‎src/util/graph.cpp
-12 b/‎src/util/graph.cpp
-12
@@ -186,7 +186,6 @@ SRC = $(BOOLEFORCE_SRC) \
       sat/dimacs_cnf.cpp \
       sat/pbs_dimacs_cnf.cpp \
       sat/resolution_proof.cpp \
-      sat/satcheck.cpp \
       smt2/smt2_conv.cpp \
       smt2/smt2_dec.cpp \
       smt2/smt2_parser.cpp \
 
@@ -24,7 +24,6 @@ SRC = arith_tools.cpp \
       fresh_symbol.cpp \
       get_base_name.cpp \
       get_module.cpp \
-      graph.cpp \
       guard.cpp \
       identifier.cpp \
       ieee_float.cpp \