From e5ce82078f2f5d2663022d9a2dae682601399dda Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Sun, 3 Oct 2021 14:56:34 +0200
Subject: [PATCH] perf(Learnocaml_main): Remove unneeded Markup.pretty_print

---
 src/main/learnocaml_main.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/main/learnocaml_main.ml b/src/main/learnocaml_main.ml
index 859cfaad6..154bc7ec0 100644
--- a/src/main/learnocaml_main.ml
+++ b/src/main/learnocaml_main.ml
@@ -270,7 +270,6 @@ let process_html_file orig_file dest_file base_url no_secret =
               when no_secret && List.mem (("", "id"), "secret-section") attrs ->
             `Start_element ((e, "div"), (("", "style"), "display:none")::attrs)
          | t -> t)
-  |> Markup.pretty_print
   |> Markup.write_html
   |> Markup_lwt.to_lwt_stream
   |> Lwt_io.write_chars wfile >>= fun () ->