GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-28 09:23:04 +03:00
Code Issues Projects Releases Wiki Activity

Fix typo in comment.

Browse Source
This commit is contained in:
Brian Huffman 2018-07-18 18:34:56 -07:00
parent f4ce1a46f0
commit f98903e739
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/TypeCheck/Solve.hs
View File

@ -281,7 +281,7 @@ proveImplication lnam as ps gs =
proveImplicationIO :: Solver
-> Maybe Name -- ^ Checking this function
-> Set TVar -- ^ These appear in the env., and we should
-- not try to default the
-- not try to default them
-> [TParam] -- ^ Type parameters
-> [Prop] -- ^ Assumed constraint
-> [Goal] -- ^ Collected constraints