Terminate planner in main function using exit_with.

aibasel · Jan 31, 2024 · 4017f9e · 4017f9e
1 parent 412794f
commit 4017f9e
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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);
 }