GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-05 18:08:04 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1677 from GaloisInc/issue_1672

Browse Source 
Fixes #1672
This commit is contained in:
Iavor S. Diatchki 2024-06-01 01:59:14 -07:00 committed by GitHub
commit 9a62f7cf6e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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/Utils/PP.hs
View File

@ -430,4 +430,4 @@ instance PP Namespace where
NSModule -> "/*module*/"
instance PP PrimIdent where
ppPrec _ (PrimIdent m t) = pp m <.> text (T.unpack t)
ppPrec _ (PrimIdent m t) = pp m <.> "::" <.> text (T.unpack t)