From 4f40c3d8883feafaa8b3b4ca69836e73c7750c86 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 14 May 2026 07:31:48 -0700 Subject: [PATCH] fixes to tptp Signed-off-by: Nikolaj Bjorner --- src/cmd_context/tptp_frontend.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/cmd_context/tptp_frontend.cpp b/src/cmd_context/tptp_frontend.cpp index e8c0be805..7ab534ad5 100644 --- a/src/cmd_context/tptp_frontend.cpp +++ b/src/cmd_context/tptp_frontend.cpp @@ -15,7 +15,6 @@ #include "cmd_context/cmd_context.h" #include "cmd_context/tptp_frontend.h" #include "solver/solver.h" -#include "util/debug.h" #include "util/error_codes.h" #include "util/rational.h" #include "util/timeout.h" @@ -1512,7 +1511,6 @@ expr_ref tptp_parser::parse_formula() { static unsigned read_tptp_stream(std::istream& in, char const* current_file) { register_on_timeout_proc(on_timeout); - set_default_exit_action(exit_action::throw_exception); try { cmd_context ctx; ctx.set_solver_factory(mk_smt_strategic_solver_factory());