# File rinject.rb, line 172
  def to_s
    return "Case ID #{@fid}: #{@type} verification /#{@expression}/ failed. #{@error}"
  end