From b3e19ffeaa9d70639c3a4280d41eefd0535b55c2 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 11 May 2026 16:51:09 +0000
Subject: [PATCH] Clarify required tptp frontend extern flags in test

Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/f07170c1-549a-464c-89f8-fee973f9790f

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

diff --git a/src/test/tptp.cpp b/src/test/tptp.cpp
index dc047c758..7c450e6f3 100644
--- a/src/test/tptp.cpp
+++ b/src/test/tptp.cpp
@@ -21,6 +21,7 @@ static std::string run_tptp(char const* file) {
     return out.str();
 }
 
+// Required externs from shell/tptp_frontend.cpp; keep output minimal in tests.
 bool g_display_statistics = false;
 bool g_display_model = false;