Merge branch 'master' of ssh://git.nguyen.vg/home/kim/repository/SXSI/xpathcomp

[SXSI/xpathcomp.git] / src / logger.ml

diff --git a/src/logger.ml b/src/logger.ml
index e113010..7796b73 100644 (file)
--- 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" ]