# File lib/doc_book_printer.rb, line 118
  def print_result result
    @xml.para "Result: #{result.name}"
  end