Don't hard-code stdout_print in terminate_with()

snitch-org · May 2, 2024 · 64b4b13 · 64b4b13
1 parent 81cce09
commit 64b4b13
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/snitch_error_handling.cpp b/src/snitch_error_handling.cpp
@@ -1,14 +1,14 @@
 #include "snitch/snitch_error_handling.hpp"
 
-#include "snitch/snitch_console.hpp"
+#include "snitch/snitch_cli.hpp"
 
 #include <exception> // for std::terminate
 
 namespace snitch {
 [[noreturn]] void terminate_with(std::string_view msg) noexcept {
-    impl::stdout_print("terminate called with message: ");
-    impl::stdout_print(msg);
-    impl::stdout_print("\n");
+    cli::console_print("terminate called with message: ");
+    cli::console_print(msg);
+    cli::console_print("\n");
 
     std::terminate();
 }