1 files changed, 4 insertions, 4 deletions
diff --git a/lib/pp_control.ml b/lib/pp_control.ml
index caa985c18..ed44f419a 100644
--- a/lib/pp_control.ml
+++ b/lib/pp_control.ml
@@ -19,16 +19,16 @@ type pp_global_params = {
 (* Default parameters of pretty-printing *)
 
 let dflt_gp = { 
-  margin     = 72;
-  max_indent = 62;
+  margin     = 78;
+  max_indent = 50;
   max_depth  = 50;
   ellipsis   = ".." }
 
 (* A deeper pretty-printer to print proof scripts *)
 
 let deep_gp = { 
-  margin     = 72;
-  max_indent = 62;
+  margin     = 78;
+  max_indent = 50;
   max_depth  = 10000;
   ellipsis   = "..." }