From dee03ce384a75ffebca4cedf40bdbdb640ae8d8a Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 26 Jun 2012 17:48:11 +0000
Subject: Fixed string width printing in string_of_ppcmds

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15493 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/pp_control.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib')

diff --git a/lib/pp_control.ml b/lib/pp_control.ml
index cefd08c559..2cec00a8a3 100644
--- a/lib/pp_control.ml
+++ b/lib/pp_control.ml
@@ -82,6 +82,7 @@ let set_depth_boxes v =
 let get_margin () = Some (Format.pp_get_margin !std_ft ())
 let set_margin v =
   let v = match v with None -> default_margin | Some v -> v in
+  Format.pp_set_margin Format.str_formatter v;
   Format.pp_set_margin !std_ft v;
   Format.pp_set_margin !deep_ft v
 
-- 
cgit v1.2.3