[eclipse-clp-users] Preventing bb_min from printing debug info

Hi!

I want to prevent bb_min from printing info like "Found a solution
with cost", "Found no solution with cost".
For now I've done this buy declaring
empty_handler(_, _, _).
and use it in the options to bb_min like
bb_options{strategy: dichotomic, report_success: empty_handler,
report_failure: empty_handler}.

Maybe there is a better way?

Sergey.