X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftatoo.ml;fp=src%2Ftatoo.ml;h=9fb70457824f56475cb17f1bfcf37846764aa053;hp=57d5f1a5161b20616859dcf03f6950c3690dfe9a;hb=fee64144491afab22d71f6e2de72a9f18f35cd55;hpb=129708eaa5983b9463f96b714c00468602339b0a

diff --git a/src/tatoo.ml b/src/tatoo.ml
index 57d5f1a..9fb7045 100644
--- a/src/tatoo.ml
+++ b/src/tatoo.ml
@@ -53,7 +53,6 @@ let main () =
     let d = time Naive_tree.load_xml_file fd "parsing xml document" in
     close_fd (); d
   in
-  let () = Gc.compact () in
   let queries =
     time
       (fun l ->