Index: etc/pr_o.ml
===================================================================
retrieving revision 6.48
retrieving revision 6.49
diff -p -r6.48 -r6.49
*** etc/pr_o.ml	21 Nov 2010 17:17:45 -0000	6.48
--- etc/pr_o.ml	6 Dec 2010 10:31:00 -0000	6.49
***************
*** 1,5 ****
  (* camlp5r *)
! (* $Id: pr_o.ml,v 6.48 2010-11-21 17:17:45 deraugla Exp $ *)
  (* Copyright (c) INRIA 2007-2010 *)
  
  #directory ".";
--- 1,5 ----
  (* camlp5r *)
! (* $Id: pr_o.ml,v 6.49 2010-12-06 10:31:00 deraugla Exp $ *)
  (* Copyright (c) INRIA 2007-2010 *)
  
  #directory ".";
*************** value poly_type pc =
*** 2080,2086 ****
  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 ]
  ;
  
  EXTEND_PRINTER
--- 2080,2086 ----
  value label_ipatt expr pc (p, oe) =
    match Pcaml.unvala oe with
    [ Some e -> pprintf pc "~%p:%p" patt p expr e
!   | None -> pprintf pc "~%p" patt p ]
  ;
  
  EXTEND_PRINTER