Commit 34da8e51 authored by Gabor Greif's avatar Gabor Greif 💬
Browse files

Typo in comment

parent b222ef7b
......@@ -3163,7 +3163,7 @@ data TcPluginResult
= TcPluginContradiction [Ct]
-- ^ The plugin found a contradiction.
-- The returned constraints are removed from the inert set,
-- and recorded as insoluable.
-- and recorded as insoluble.
| TcPluginOk [(EvTerm,Ct)] [Ct]
-- ^ The first field is for constraints that were solved.
Supports Markdown
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