Fix comment

fpoli · web-flow · commit 61ffb7afbae7 · 2021-02-02T10:51:44.000+01:00
diff --git a/src/main/scala/viper/silver/ast/utility/Traversable.scala b/src/main/scala/viper/silver/ast/utility/Traversable.scala
@@ -32,7 +32,7 @@ trait Traversable[+A] {
     }
   }
 
-  /** Finds the first element of the collection for which the given partial
+  /** Finds the first element of this collection for which the given partial
     * function is defined, and applies the partial function to it.
     */
   def collectFirst[B](pf: PartialFunction[A, B]): Option[B] = {

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,7 @@ trait Traversable[+A] {`
`32`	`32`	`}`
`33`	`33`	`}`
`34`	`34`
`35`		`- /** Finds the first element of the collection for which the given partial`
	`35`	`+ /** Finds the first element of this collection for which the given partial`
`36`	`36`	`* function is defined, and applies the partial function to it.`
`37`	`37`	`*/`
`38`	`38`	`def collectFirst[B](pf: PartialFunction[A, B]): Option[B] = {`