diff --git a/src/cmd_context/tptp_frontend.cpp b/src/cmd_context/tptp_frontend.cpp
index 65f1390d0..1b19d6740 100644
--- a/src/cmd_context/tptp_frontend.cpp
+++ b/src/cmd_context/tptp_frontend.cpp
@@ -14,7 +14,7 @@
 #include "ast/ast_util.h"
 #include "cmd_context/cmd_context.h"
 #include "cmd_context/tptp_frontend.h"
-#include "smt/smt_solver.h"
+#include "solver/solver.h"
 #include "util/error_codes.h"
 #include "util/z3_exception.h"