[pp] Fix bugs 5651 [incorrect thunk in pretty printer]

Fix bug introduced by a Haskell programmer.

1 files changed, 2 insertions, 2 deletions

diff --git a/lib/pp.ml b/lib/pp.ml
index 6d28ed13b9..91f5204ffc 100644
--- a/lib/pp.ml
+++ b/lib/pp.ml
@@ -153,7 +153,7 @@ let rec pr_com ft s =
     | None -> ()
 
 (* pretty printing functions *)
-let pp_with ft =
+let pp_with ft pp =
   let cpp_open_box = function
     | Pp_hbox n   -> Format.pp_open_hbox ft ()
     | Pp_vbox n   -> Format.pp_open_vbox ft n
@@ -175,7 +175,7 @@ let pp_with ft =
                                  pp_cmd s;
                                  pp_close_tag ft ()
   in
-  try pp_cmd
+  try pp_cmd pp
   with reraise ->
     let reraise = Backtrace.add_backtrace reraise in
     let () = Format.pp_print_flush ft () in