X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftracer.ml;h=aaa38d387fe7eccfe1d7f280f78070af0fe849ea;hb=1975eef2d0933da3c01faec1cd14bc8fbf6bf146;hp=eae76a5e2b4cda651a2125ddbd30272a254cfe93;hpb=43906e89a76c67491e2a567990980df787036088;p=SXSI%2Fxpathcomp.git

diff --git a/src/tracer.ml b/src/tracer.ml
index eae76a5..aaa38d3 100644
--- a/src/tracer.ml
+++ b/src/tracer.ml
@@ -3,7 +3,7 @@ open Format
 type tracer = string
 type level = int
 
-let tracers = [ "top-down-run"; "top-down-approx"; "result-set" ]
+let tracers = [ "top-down-run"; "top-down-approx"; "result-set"; "level2-jit"; "res-jit"; "grammar" ]
 let active_tracers : (tracer, int) Hashtbl.t = Hashtbl.create 17
 
 let available () = tracers
@@ -21,5 +21,5 @@ let trace t l s =
   if l <= level t
   then begin
     fprintf !tracer_output "%s: " t;
-    fprintf !tracer_output "%s" s
+    fprintf !tracer_output "%s%!" s
   end