diff --git a/src/goto-harness/goto_harness_parse_options.cpp b/src/goto-harness/goto_harness_parse_options.cpp
index af74e75bf4d..9dd2d9409de 100644
--- a/src/goto-harness/goto_harness_parse_options.cpp
+++ b/src/goto-harness/goto_harness_parse_options.cpp
@@ -46,6 +46,7 @@ void goto_harness_parse_optionst::help()
 goto_harness_parse_optionst::goto_harness_parse_optionst(
   int argc,
   const char *argv[])
-  : parse_options_baset{GOTO_HARNESS_OPTIONS, argc, argv}
+  : parse_options_baset{GOTO_HARNESS_OPTIONS, argc, argv, ui_message_handler},
+    ui_message_handler(cmdline, std::string("GOTO-HARNESS ") + CBMC_VERSION)
 {
 }
diff --git a/src/goto-harness/goto_harness_parse_options.h b/src/goto-harness/goto_harness_parse_options.h
index a56440902b7..17720468632 100644
--- a/src/goto-harness/goto_harness_parse_options.h
+++ b/src/goto-harness/goto_harness_parse_options.h
@@ -10,6 +10,7 @@ Author: Diffblue Ltd.
 #define CPROVER_GOTO_HARNESS_GOTO_HARNESS_PARSE_OPTIONS_H
 
 #include <util/parse_options.h>
+#include <util/ui_message.h>
 
 #define GOTO_HARNESS_OPTIONS "(version)" // end GOTO_HARNESS_OPTIONS
 
@@ -20,6 +21,14 @@ class goto_harness_parse_optionst : public parse_options_baset
   void help() override;
 
   goto_harness_parse_optionst(int argc, const char *argv[]);
+
+protected:
+  ui_message_handlert ui_message_handler;
+
+  ui_message_handlert::uit get_ui()
+  {
+    return ui_message_handler.get_ui();
+  }
 };
 
 #endif // CPROVER_GOTO_HARNESS_GOTO_HARNESS_PARSE_OPTIONS_H