diff --git a/crucible/src/Lang/Crucible/Types.hs b/crucible/src/Lang/Crucible/Types.hs
index 81b432e00..01d22e097 100644
--- a/crucible/src/Lang/Crucible/Types.hs
+++ b/crucible/src/Lang/Crucible/Types.hs
@@ -479,7 +479,7 @@ instance Pretty (TypeRepr tp) where
       IntrinsicRepr name tys ->
         parens (pretty (symbolRepr name) <+> prettyCtx tys)
       RecursiveRepr name tys ->
-        parens (pretty (symbolRepr name) <+> prettyCtx tys)
+        parens ("Rec" <+> pretty (symbolRepr name) <+> prettyCtx tys)
       FloatRepr f -> parens ("Float" <+> pretty f)
       IEEEFloatRepr f -> parens ("IEEEFloat" <+> pretty f)
       CharRepr -> "Char"