* div.cc (macro_diversion::output, top_level_diversion::output):