Fixes #1672

GaloisInc · Jun 1, 2024 · ca5c79c · ca5c79c
1 parent 3ff9a82
commit ca5c79c
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)