Wrong hit for overloaded polymorphic method definition

[dragos]

In ScalaPresentationCompiler.scala there are two definitions for askOption:

  /** Ask with a default timeout. Keep around for compatibility with the m2 release. */
  def askOption[A](op: () => A): Option[A] = askOption(op, 10000)

  /** Perform `op' on the compiler thread. Catch all exceptions, and return
   *  None if an exception occured. TypeError and FreshRunReq are printed to
   *  stdout, all the others are logged in the platform error log.
   */
  def askOption[A](op: () => A, timeout: Int): Option[A] = {

If I search on the second overload (with the timeout), I get 2 hits:

• the 2 definitions ("exact" hits)

[dragos]

Sorry, my bad.. the hits are correct (the first overload has a call to the second on the same line, and I got confused where the hit was reported).