X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fgrammar.ml;h=bca97aae45912ab0ebe4a50d3cd82b345f57732f;hb=be15ae2e9a7f0a1d7dade338529c2f9f207990bb;hp=cf167fc598046cee45d67249591e385dc557b6d6;hpb=6df6ad6cf27e57872bd5891b49354acb0a5ce6a4;p=SXSI%2Fxpathcomp.git

diff --git a/src/grammar.ml b/src/grammar.ml
index cf167fc..bca97aa 100644
--- a/src/grammar.ml
+++ b/src/grammar.ml
@@ -56,6 +56,7 @@ let is_parameter (n : [< any_type ] Node.t) =
 
 let symbol_tag (n : t_symbol) = (Node.to_int n) lsr 2
 ;;
+let tag = symbol_tag
 let get_tag g (n : t_symbol) = to_string g (symbol_tag n)
 
 
@@ -173,7 +174,6 @@ let load filename bp =
     | e -> (Unix.close fd; raise e)
   in
   Unix.close fd;
-  traversal g;
   Tag.init (tag_operations g);
   g