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