Fix makefile

Author: thomasspriggs

src/solvers/Makefile

@@ -199,7 +199,7 @@ SRC = $(BOOLEFORCE_SRC) \
       smt2_incremental/smt_core_theory.cpp \
       smt2_incremental/smt_logics.cpp \
       smt2_incremental/smt_options.cpp \
-      solvers/smt2_incremental/smt_response_validation.cpp \
+      smt2_incremental/smt_response_validation.cpp \
       smt2_incremental/smt_responses.cpp \
       smt2_incremental/smt_solver_process.cpp \
       smt2_incremental/smt_sorts.cpp \