From: Kim Nguyễn <kn@lri.fr>
Date: Thu, 16 Feb 2012 01:46:37 +0000 (+0100)
Subject: Add a new tracer level for debugging grammar run.
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=57835657dbee238543eb33fb661c9d797e9111c4;p=SXSI%2Fxpathcomp.git

Add a new tracer level for debugging grammar run.
---

diff --git a/src/tracer.ml b/src/tracer.ml
index 9eae547..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"; "level2-jit"; "res-jit" ]
+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