From df04d935bd0147b642c302b0f61e03fc94642a59 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 12 May 2026 02:02:07 +0000
Subject: [PATCH] Fix mk_make include resolution for moved tptp frontend

Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/7cbce0d2-0ed9-4941-91d4-49977c0a97a1

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/cmd_context/tptp_frontend.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"