@@ -1174,7 +1174,7 @@ pprintPTerm impl bnd docArgs = prettySe 10 bnd
1174 prettySe p bnd (PPi (Imp l s _) n ty sc)
1174 prettySe p bnd (PPi (Imp l s _) n ty sc)
1175 | impl =
1175 | impl =
1176 bracket p 2 $
1176 bracket p 2 $
1177− lparen <> bindingOf n True <+> colon <+> prettySe 10 bnd ty <> rbrace <+>
1177+ lbrace <> bindingOf n True <+> colon <+> prettySe 10 bnd ty <> rbrace <+>
1178 st <> text "->" </> prettySe 10 ((n, True):bnd) sc
1178 st <> text "->" </> prettySe 10 ((n, True):bnd) sc
1179 | otherwise = prettySe 10 ((n, True):bnd) sc
1179 | otherwise = prettySe 10 ((n, True):bnd) sc