X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;h=ab043b7749872a731780c28e981492d7da1be9d4;hb=52101d20031fd52639753282519b8a45e26ecb5d;hp=82642787af6ee6b0c62a1b7de61c485a83a17490;hpb=25a3fa55f6de1835d2407283eeb43b01819543f6;p=SXSI%2Fxpathcomp.git

diff --git a/main.ml b/main.ml
index 8264278..ab043b7 100644
--- a/main.ml
+++ b/main.ml
@@ -59,7 +59,9 @@ let main v query output =
 	  Printf.eprintf "Execution time %s : " (if !Options.count_only then "(counting only)" else "");
 	  begin
 	    if !Options.count_only then
-	      failwith "Count only not implemented in this version"
+	      let r = time ( run_count auto  )v in
+	      let _ = Printf.eprintf "Number of nodes in the result set : %i\n%!" r
+	      in ()
 	    else      
 	     (* let _ = Gc.set ({ Gc.get() with Gc.max_overhead = 1000000; Gc.space_overhead = 100 }) in *)
 	      let result = time (if !Options.time then run_time auto else run auto) v in