@@ -1991,7 +1991,7 @@ pprintPTerm ppo bnd docArgs infixes = prettySe (ppopt_depth ppo) startPrec bnd
19911991 prettyArgS d bnd (PConstraint _ _ _ tm) = prettyArgSc d bnd tm
19921992 prettyArgS d bnd (PTacImplicit _ _ n _ tm) = prettyArgSti d bnd (n, tm)
19931993
1994− prettyArgSe d bnd arg = prettySe d (funcAppPrec + 1) bnd arg
1994+ prettyArgSe d bnd arg = prettySe (decD d) (funcAppPrec + 1) bnd arg
19951995 prettyArgSi d bnd (n, val) = lbrace <> pretty n <+> text "=" <+> prettySe (decD d) startPrec bnd val <> rbrace
19961996 prettyArgSc d bnd val = lbrace <> lbrace <> prettySe (decD d) startPrec bnd val <> rbrace <> rbrace
19971997 prettyArgSti d bnd (n, val) = lbrace <> kwd "auto" <+> pretty n <+> text "=" <+> prettySe (decD d) startPrec bnd val <> rbrace