diff --git a/src/solvers/Makefile b/src/solvers/Makefile
index 4923507b15a..242d13d340b 100644
--- a/src/solvers/Makefile
+++ b/src/solvers/Makefile
@@ -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 \
diff --git a/src/solvers/sat/satcheck.cpp b/src/solvers/sat/satcheck.cpp
deleted file mode 100644
index 27cdb5d79a6..00000000000
--- a/src/solvers/sat/satcheck.cpp
+++ /dev/null
@@ -1,24 +0,0 @@
-/*******************************************************************\
-
-Module:
-
-Author: Daniel Kroening, kroening@kroening.com
-
-\*******************************************************************/
-
-
-#include "satcheck.h"
-
-// Sanity check
-
-#ifdef SATCHECK_MINISAT1
-#ifndef HAVE_MINISAT
-#error "I expected to have MiniSat 1"
-#endif
-#endif
-
-#ifdef SATCHECK_MINISAT2
-#ifndef HAVE_MINISAT2
-#error "I expected to have MiniSat 2"
-#endif
-#endif
diff --git a/src/util/Makefile b/src/util/Makefile
index 10e7c6b3125..1208c414cfa 100644
--- a/src/util/Makefile
+++ b/src/util/Makefile
@@ -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 \
diff --git a/src/util/graph.cpp b/src/util/graph.cpp
deleted file mode 100644
index 2d80781f41a..00000000000
--- a/src/util/graph.cpp
+++ /dev/null
@@ -1,12 +0,0 @@
-/*******************************************************************\
-
-Module: A Template Class for Graphs
-
-Author: Daniel Kroening, kroening@kroening.com
-
-\*******************************************************************/
-
-/// \file
-/// A Template Class for Graphs
-
-#include "graph.h"