X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flogger.ml;h=7796b7356f428758c439300aa93e4d230a72b1f1;hb=5c2d599b89c01c879f685655545a5e212a5cdcd2;hp=e113010bac6bf7a2021671b9f53400bad7308ed8;hpb=ff7893db153ecd86099fab1c71be475dcc8272bf;p=SXSI%2Fxpathcomp.git

diff --git a/src/logger.ml b/src/logger.ml
index e113010..7796b73 100644
--- a/src/logger.ml
+++ b/src/logger.ml
@@ -8,7 +8,6 @@ let loggers = [ "top-down-run";
 		"result-set";
 		"level2-jit";
 		"res-jit";
-		"grammar";
 		"twopass";
 		"transition";
 		"bottom-up" ]