X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flogger.ml;h=7796b7356f428758c439300aa93e4d230a72b1f1;hb=744e0c89a77d0eb82c64a98d8a8a6860af875653;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" ]