diff options
Diffstat (limited to 'printing/ppconstr.ml')
| -rw-r--r-- | printing/ppconstr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml index b38cfa664..fb40e90d3 100644 --- a/printing/ppconstr.ml +++ b/printing/ppconstr.ml @@ -451,7 +451,7 @@ let pr pr sep inherited a = lfix | CProdN _ -> let (bl,a) = extract_prod_binders a in - hov 2 ( + hov 0 ( hov 2 (pr_delimited_binders pr_forall spc (pr mt ltop) bl) ++ str "," ++ pr spc ltop a), |