Resurect the HTML trace. Now generates a single HTML file containing the SVG.

[tatoo.git] / src / tatoo.ml

diff --git a/src/tatoo.ml b/src/tatoo.ml
index 6464cb4..57d5f1a 100644 (file)
--- 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 ->