gcc_message_handlert and console_message_handlert no longer implement ui interface

Author: Daniel Kroening

src/util/cout_message.h

@@ -10,7 +10,7 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_UTIL_COUT_MESSAGE_H
 #define CPROVER_UTIL_COUT_MESSAGE_H
 
-#include "ui_message.h"
+#include "message.h"
 
 class cout_message_handlert:public stream_message_handlert
 {
@@ -26,7 +26,7 @@ class cerr_message_handlert:public stream_message_handlert
   cerr_message_handlert();
 };
 
-class console_message_handlert:public ui_message_handlert
+class console_message_handlert : public message_handlert
 {
 public:
   // level 4 and upwards go to cout, level 1-3 to cerr
@@ -49,7 +49,7 @@ class console_message_handlert:public ui_message_handlert
   const bool always_flush;
 };
 
-class gcc_message_handlert:public ui_message_handlert
+class gcc_message_handlert : public message_handlert
 {
 public:
   // aims to imitate the messages gcc prints