From a2bfcf3ca588d1622655cc13713bc6f5d339b86d Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Wed, 19 Jul 2017 14:36:37 +0200
Subject: [pp] Fix bugs 5651 [incorrect thunk in pretty printer]

Fix bug introduced by a Haskell programmer.
---
 lib/pp.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/pp.ml')

diff --git a/lib/pp.ml b/lib/pp.ml
index 6d28ed13b..91f5204ff 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
-- 
cgit v1.2.3