Make jdiff log message match janalyzer

smowton · smowton · commit 22638e2624c4 · 2018-10-24T10:32:07.000+01:00
diff --git a/jbmc/src/jdiff/jdiff_parse_options.cpp b/jbmc/src/jdiff/jdiff_parse_options.cpp
@@ -345,7 +345,7 @@ bool jdiff_parse_optionst::process_goto_program(
   try
   {
     // remove function pointers
-    status() << "Removal of function pointers and virtual functions" << eom;
+    status() << "Removing function pointers and virtual functions" << eom;
     remove_function_pointers(
       get_message_handler(), goto_model, cmdline.isset("pointer-check"));
 

Original file line number	Diff line number	Diff line change
`@@ -345,7 +345,7 @@ bool jdiff_parse_optionst::process_goto_program(`
`345`	`345`	`try`
`346`	`346`	`{`
`347`	`347`	`// remove function pointers`
`348`		`- status() << "Removal of function pointers and virtual functions" << eom;`
	`348`	`+ status() << "Removing function pointers and virtual functions" << eom;`
`349`	`349`	`remove_function_pointers(`
`350`	`350`	`get_message_handler(), goto_model, cmdline.isset("pointer-check"));`
`351`	`351`