@@ -1246,10 +1246,9 @@ pprintPTerm ppo bnd docArgs infixes = prettySe 10 bnd
12461246 text "\\" <> bindingOf n False <+> text "=>" <$>
12471247 prettySe 10 ((n, False):bnd) sc
12481248 prettySe p bnd (PLet n ty v sc) =
1249− bracket p 2 $
1250− kwd "let" <+> bindingOf n False <+> text "=" </>
1251− prettySe 10 bnd v <+> kwd "in" </>
1252− prettySe 10 ((n, False):bnd) sc
1249+ bracket p 2 . group . align $
1250+ kwd "let" <+> (group . align . hang 2 $ bindingOf n False <+> text "=" <$> prettySe 10 bnd v) </>
1251+ kwd "in" <+> (group . align . hang 2 $ prettySe 10 ((n, False):bnd) sc)
12531252 prettySe p bnd (PPi (Exp l s _) n ty sc)
12541253 | n `elem` allNamesIn sc || ppopt_impl ppo || n `elem` docArgs =
12551254 bracket p 2 . group $