Fix typo

odersky · odersky · commit 4cf5dc317a0e · 2019-01-25T15:05:41.000+01:00
diff --git a/docs/docs/reference/witnesses/replacing-implicits.md b/docs/docs/reference/witnesses/replacing-implicits.md
@@ -30,7 +30,7 @@ trait TastyImpl extends TastyAPI {
   witness symDeco: SymDeco = compilerSymOps
 }
 ```
-Note that the result type of an abstract or alias witness is introduced with a colon instead of a `for`. This seems more natural since it evokes the similarity to implicit parameters, whose type is also given following a `:`. It also avoids the syntactic ambiguity with a witness
+Note that the result type of an abstract or alias witness is introduced with a colon instead of an `of`. This seems more natural since it evokes the similarity to implicit parameters, whose type is also given following a `:`. It also avoids the syntactic ambiguity with a witness
 for a class that does not add any new definitions. I.e.
 ```scala
 witness a of C   // concrete witness for class C, no definitions added

Original file line number	Diff line number	Diff line change
`@@ -30,7 +30,7 @@ trait TastyImpl extends TastyAPI {`
`30`	`30`	`witness symDeco: SymDeco = compilerSymOps`
`31`	`31`	`}`
`32`	`32`	```
`33`		-Note that the result type of an abstract or alias witness is introduced with a colon instead of a `for`. This seems more natural since it evokes the similarity to implicit parameters, whose type is also given following a `:`. It also avoids the syntactic ambiguity with a witness
	`33`	+Note that the result type of an abstract or alias witness is introduced with a colon instead of an `of`. This seems more natural since it evokes the similarity to implicit parameters, whose type is also given following a `:`. It also avoids the syntactic ambiguity with a witness
`34`	`34`	`for a class that does not add any new definitions. I.e.`
`35`	`35`	```scala
`36`	`36`	`witness a of C // concrete witness for class C, no definitions added`