commit 7d377ed47ee3dc29a5344ba908e18ee2ff0d0ab1 parent 7973a4486f47adaa0d8a69eaae4d689a47cec201 Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu> Date: Wed, 9 Mar 2016 15:47:52 -0500 trim verbatim items Diffstat:
| M | doc/txt/txt.ml | | | 7 | ++----- |
1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/doc/txt/txt.ml b/doc/txt/txt.ml @@ -111,12 +111,9 @@ let getverb lines idnt = pop lines; f (dedent l idnt :: ls) | _ -> - let ls = - if List.hd ls = "" - then List.tl ls - else ls in List.rev ls |> - String.concat "\n" in + String.concat "\n" |> + String.trim in f [] let getpar lines idnt =