diff --git a/src/snitch_error_handling.cpp b/src/snitch_error_handling.cpp
index 7bf5f875..0d5f70d9 100644
--- 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();
 }