do_neural_liveness does not require ui_message_handler

kroening · kroening · commit aace6d35ad09 · 2024-05-19T16:29:03.000+01:00
diff --git a/src/ebmc/neural_liveness.cpp b/src/ebmc/neural_liveness.cpp
@@ -318,7 +318,7 @@ tvt neural_livenesst::verify(
 
 int do_neural_liveness(
   const cmdlinet &cmdline,
-  ui_message_handlert &ui_message_handler)
+  message_handlert &message_handler)
 {
-  return neural_livenesst(cmdline, ui_message_handler)();
+  return neural_livenesst(cmdline, message_handler)();
 }
diff --git a/src/ebmc/neural_liveness.h b/src/ebmc/neural_liveness.h
@@ -10,8 +10,8 @@ Author: Daniel Kroening, dkr@amazon.com
 #define EBMC_NEURAL_LIVENESS_H
 
 #include <util/cmdline.h>
-#include <util/ui_message.h>
+#include <util/message.h>
 
-int do_neural_liveness(const cmdlinet &, ui_message_handlert &);
+int do_neural_liveness(const cmdlinet &, message_handlert &);
 
 #endif // EBMC_NEURAL_LIVENESS_H

Original file line number	Diff line number	Diff line change
`@@ -318,7 +318,7 @@ tvt neural_livenesst::verify(`
`318`	`318`
`319`	`319`	`int do_neural_liveness(`
`320`	`320`	`const cmdlinet &cmdline,`
`321`		`- ui_message_handlert &ui_message_handler)`
	`321`	`+ message_handlert &message_handler)`
`322`	`322`	`{`
`323`		`- return neural_livenesst(cmdline, ui_message_handler)();`
	`323`	`+ return neural_livenesst(cmdline, message_handler)();`
`324`	`324`	`}`