Commit 54128992 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Typo in comment

parent 8e50301f
......@@ -1117,7 +1117,7 @@ Note [Adding an inert canonical constraint the InertCans]
* [Given/Wanted] a ~N ty
1. Add it to inert_eqs
2. Emit [D] a~ty
As a result of (2), the current model will rewrite teh new [D] a~ty
As a result of (2), the current model will rewrite the new [D] a~ty
during canonicalisation, and then it'll be added to the model using
the steps of [Derived] above.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment