Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[minor] fix an indentation mistake in Format.pp_set_geometry

master
Gabriel Scherer 2020-01-10 10:28:20 +01:00
parent 09da7dd659
commit 87b027d9ec
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
stdlib/format.ml
View File

@ -823,11 +823,11 @@ let pp_get_margin state () = state.pp_margin
let pp_set_geometry state ~max_indent ~margin =
if max_indent < 2 then
raise (Invalid_argument "Format.pp_set_geometry: max_indent < 2")
else if margin <= max_indent then
raise (Invalid_argument "Format.pp_set_geometry: margin <= max_indent")
else
pp_set_margin state margin; pp_set_max_indent state max_indent
raise (Invalid_argument "Format.pp_set_geometry: max_indent < 2");
if margin <= max_indent then
raise (Invalid_argument "Format.pp_set_geometry: margin <= max_indent");
pp_set_margin state margin;
pp_set_max_indent state max_indent
let pp_safe_set_geometry state ~max_indent ~margin =
if check_geometry {max_indent;margin} then