diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2008-11-08 14:58:40 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2008-11-08 14:58:40 +0000 |
| commit | 11373835cdd430d50128b898d80d1ed7e1adda7c (patch) | |
| tree | 7d8ae51cad4171761cfcba8ec887a55171b3295d /stdlib | |
| parent | 901e3bfa82714a0995e4649ec8aea54a0000ca48 (diff) | |
indent.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9120 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/format.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/format.ml b/stdlib/format.ml index 2083602b9..ebbbdb9b2 100644 --- a/stdlib/format.ml +++ b/stdlib/format.ml @@ -794,7 +794,7 @@ let pp_set_margin state n = new margin, if it is greater than 1. *) max (max (state.pp_margin - state.pp_min_space_left) (state.pp_margin / 2)) 1 in - (* Rebuild invariants. *) + (* Rebuild invariants. *) pp_set_max_indent state new_max_indent ;; @@ -842,7 +842,8 @@ let pp_make_formatter f g h i = add_queue sys_tok pp_q; let sys_scan_stack = (Scan_elem (1, sys_tok)) :: scan_stack_bottom in - {pp_scan_stack = sys_scan_stack; + { + pp_scan_stack = sys_scan_stack; pp_format_stack = []; pp_tbox_stack = []; pp_tag_stack = []; |