Merge pull request #1677 from GaloisInc/issue_1672

Fixes #1672
GaloisInc · Jun 1, 2024 · 9a62f7c · 9a62f7c
2 parents 22d3277 + ca5c79c
commit 9a62f7c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Cryptol/Utils/PP.hs b/src/Cryptol/Utils/PP.hs
@@ -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)