GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-15 10:46:37 +03:00
Code Issues Projects Releases Wiki Activity

Fix typo in comment.

Browse Source
This commit is contained in:
Brian Huffman 2019-06-21 11:58:21 -07:00
parent 5d19320bfa
commit 8001e5d09c
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/ModuleSystem/Renamer.hs
View File

@ -760,7 +760,7 @@ instance Rename Pattern where
PLocated p' loc -> withLoc loc
$ PLocated <$> rename p' <*> pure loc
-- | Note that after this point the @->@ updates have an explicit funciton
-- | Note that after this point the @->@ updates have an explicit function
-- and there are no more nested updates.
instance Rename UpdField where
rename (UpdField h ls e) =