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

diff --git a/src/tatoo.ml b/src/tatoo.ml
index 6464cb4..57d5f1a 100644
--- a/src/tatoo.ml
+++ b/src/tatoo.ml
@@ -15,8 +15,6 @@
 
 open Format
 
-
-
 let time f arg msg =
   let t1 = Unix.gettimeofday () in
   let r = f arg in
@@ -55,6 +53,7 @@ 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 ->