From 4017f9eab2c3d07ac4d635b3576a3b646eb81637 Mon Sep 17 00:00:00 2001
From: ClemensBuechner <clemens.buechner@unibas.ch>
Date: Wed, 31 Jan 2024 14:03:19 +0100
Subject: [PATCH] Terminate planner in main function using exit_with.

---
 src/search/planner.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/search/planner.cc b/src/search/planner.cc
index fafef4d551..e86ef8891f 100644
--- a/src/search/planner.cc
+++ b/src/search/planner.cc
@@ -46,6 +46,5 @@ int main(int argc, const char **argv) {
     ExitCode exitcode = search_algorithm->found_solution()
         ? ExitCode::SUCCESS
         : ExitCode::SEARCH_UNSOLVED_INCOMPLETE;
-    utils::report_exit_code_reentrant(exitcode);
-    return static_cast<int>(exitcode);
+    exit_with(exitcode);
 }