Skip to content

Commit

Permalink
Correct a typo in NamingEnv.hs (#1516)
Browse files Browse the repository at this point in the history
  • Loading branch information
felixonmars authored May 3, 2023
1 parent d5a4463 commit d4221b7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Cryptol/ModuleSystem/NamingEnv.hs
Original file line number Diff line number Diff line change
Expand Up @@ -184,7 +184,7 @@ travNamingEnv f (NamingEnv mp) =
NamingEnv <$> traverse (traverse (traverse f)) mp


{- | Do somethign in context. If `Nothing` than we are working with
{- | Do something in context. If `Nothing` than we are working with
a local declaration. Otherwise we are at the top-level of the
given module. -}
data InModule a = InModule (Maybe ModPath) a
Expand Down

0 comments on commit d4221b7

Please sign in to comment.