@@ -1133,7 +1133,7 @@ pprintPTerm impl bnd docArgs = prettySe 10 bnd
1133 prettySe p bnd (PPi (Imp l s _) n ty sc)
1133 prettySe p bnd (PPi (Imp l s _) n ty sc)
1134 | impl =
1134 | impl =
1135 bracket p 2 $
1135 bracket p 2 $
1136− lparen <> bindingOf n True <+> colon <+> prettySe 10 bnd ty <> rbrace <+>
1136+ lbrace <> bindingOf n True <+> colon <+> prettySe 10 bnd ty <> rbrace <+>
1137 st <> text "->" </> prettySe 10 ((n, True):bnd) sc
1137 st <> text "->" </> prettySe 10 ((n, True):bnd) sc
1138 | otherwise = prettySe 10 ((n, True):bnd) sc
1138 | otherwise = prettySe 10 ((n, True):bnd) sc