@@ -1251,7 +1251,8 @@ pprintPTerm ppo bnd docArgs infixes = prettySe 10 bnd
12511251 (left l <+> opName) <$> group (right r)
12521252 prettySe p bnd (PApp _ hd@(PRef fc f) [tm]) -- symbols, like 'foo
12531253 | PConstant (Idris.Core.TT.Str str) <- getTm tm,
1254− f == sUN "Symbol_" = char '\'' <> prettySe 10 bnd (PRef fc (sUN str))
1254+ f == sUN "Symbol_" = annotate AnnConstType $
1255+ char '\'' <> prettySe 10 bnd (PRef fc (sUN str))
12551256 prettySe p bnd (PApp _ f as) =
12561257 let args = getExps as
12571258 fp = prettySe 1 bnd f