# File lib/rdoc/stats.rb, line 48
  def add_alias as
    @display.print_alias as
  end