From 3394cf3ee974d3de4f9da6cba567d81ec372466a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 27 Jan 2009 14:02:22 +0000
Subject: - Fixed various Overfull in documentation. - Removed useless coq-tex
 preprocessing of RecTutorial. - Make "Set Printing Width" applies to "Show
 Script" too. - Completed documentation (specially of ltac) according to
 CHANGES file.

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

(limited to 'lib')

diff --git a/lib/pp_control.ml b/lib/pp_control.ml
index 67ae4a20a3..7617d5ca42 100644
--- a/lib/pp_control.ml
+++ b/lib/pp_control.ml
@@ -105,5 +105,7 @@ let set_depth_boxes v =
 
 let get_margin () = Some (Format.pp_get_margin !std_ft ())
 let set_margin v =
-  Format.pp_set_margin !std_ft (match v with None -> default_margin | Some v -> v)
+  let v = match v with None -> default_margin | Some v -> v in
+  Format.pp_set_margin !std_ft v;
+  Format.pp_set_margin !deep_ft v
 
-- 
cgit v1.2.3