Commit before branching to new XPath compilation

[SXSI/xpathcomp.git] / main.ml

diff --git a/main.ml b/main.ml
index 4fcc0af..021a18e 100644 (file)
--- a/main.ml
+++ b/main.ml
@@ -79,6 +79,7 @@ let main v query_string output =
            (if !Options.count_only then "(counting only)" else if !Options.backward then "(bottomup)" else "");
          begin
            let _ = Gc.full_major();Gc.compact() in
+           let _ = Printf.eprintf "%!" in
              (*            let _ = Gc.set (disabled_gc) in  *)
              if !Options.backward && ((snd test_list) != `NOTHING )then 
                
@@ -109,7 +110,7 @@ let main v query_string output =
                                      IdSet.iter (fun t -> 
                                                    Tree.print_xml_fast oc v t;
                                                    output_char oc '\n';
-                                                   output_string oc "----------\n";
+
                                                 ) result) ();
                    end;
          end;
@@ -125,7 +126,7 @@ let v =
     begin
       Printf.eprintf "Loading from file : ";
       time (Tree.load  ~sample:!Options.sample_factor )
-    (Filename.chop_suffix !Options.input_file ".srx");
+       !Options.input_file;
        end
   else 
     let v =