use color in show_goto_functions()

Daniel Kroening · Daniel Kroening · commit 6bc7add9b898 · 2018-10-14T18:58:00.000+01:00
diff --git a/src/goto-programs/show_goto_functions.cpp b/src/goto-programs/show_goto_functions.cpp
@@ -75,7 +75,8 @@ void show_goto_functions(
           out << "^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n\n";
 
           const symbolt &symbol = ns.lookup(fun.first);
-          out << symbol.display_name() << " /* " << symbol.name << " */\n";
+          out << messaget::bold() << symbol.display_name() << messaget::reset()
+              << " /* " << symbol.name << " */\n";
           fun.second.body.output(ns, symbol.name, out);
           msg.status() << messaget::eom;
         }

Original file line number	Diff line number	Diff line change
`@@ -75,7 +75,8 @@ void show_goto_functions(`
`75`	`75`	`out << "^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n\n";`
`76`	`76`
`77`	`77`	`const symbolt &symbol = ns.lookup(fun.first);`
`78`		`- out << symbol.display_name() << " /* " << symbol.name << " */\n";`
	`78`	`+ out << messaget::bold() << symbol.display_name() << messaget::reset()`
	`79`	`+ << " /* " << symbol.name << " */\n";`
`79`	`80`	`fun.second.body.output(ns, symbol.name, out);`
`80`	`81`	`msg.status() << messaget::eom;`
`81`	`82`	`}`