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