diff options
| -rw-r--r-- | compiler/types/Coercion.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/Coercion.hs b/compiler/types/Coercion.hs index a2b93bd459..64e2c5b97b 100644 --- a/compiler/types/Coercion.hs +++ b/compiler/types/Coercion.hs @@ -133,7 +133,7 @@ import Data.Function ( on ) -- The coercion arguments always *precisely* saturate -- arity of (that branch of) the CoAxiom. If there are -- any left over, we use AppCo. See - -- See [Coercion axioms applied to coercions] + -- See [Coercion axioms applied to coercions] in TyCoRep \subsection{Coercion variables} %* * |