Remove useless cpp files

NathanJPhillips · Jun 9, 2018 · ecee38d · ecee38d
1 parent ae1d039
commit ecee38d
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 38 deletions.
diff --git 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
diff --git 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