X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fcompact_tree.ml;h=485f5ff7423b9122ae12043050d2985fb67dc428;hp=83294990122d46f9bc6bc24c9726f93e71ba6fa1;hb=e52a0d2aa417ec579ec4bd9b0a03baeb4fdc6ee1;hpb=84751fead39221a8e01d20a4692faf0b63a7c996

diff --git a/src/compact_tree.ml b/src/compact_tree.ml
index 8329499..485f5ff 100644
--- a/src/compact_tree.ml
+++ b/src/compact_tree.ml
@@ -31,10 +31,9 @@ type t = {
 
 
 (* encoding :
-   i -> kind | QNameId lsl 8
-   i + 1 -> fc
-   i + 2 -> ns
-   i + 3 -> p
+   i + 0 -> fc
+   i + 1 -> ns
+   i + 2 -> p
 *)
 
 let next i = i + 3