From 57835657dbee238543eb33fb661c9d797e9111c4 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Thu, 16 Feb 2012 02:46:37 +0100 Subject: [PATCH] Add a new tracer level for debugging grammar run. --- src/tracer.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.17.1