@@ -, +, @@ 
---
 etc/pr_o.ml |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
--- a/etc/pr_o.ml	
+++ a/etc/pr_o.ml	
@@ -2080,7 +2080,7 @@ value poly_type pc =
 value label_ipatt expr pc (p, oe) =
   match Pcaml.unvala oe with
   [ Some e -> pprintf pc "~%p:%p" patt p expr e
-  | None -> patt pc p ]
+  | None -> pprintf pc "~%p" patt p ]
 ;
 
 EXTEND_PRINTER
--