Update comment describing data layout.
authorKim Nguyễn <kn@lri.fr>
Tue, 18 Apr 2017 08:36:01 +0000 (10:36 +0200)
committerKim Nguyễn <kn@lri.fr>
Tue, 18 Apr 2017 08:36:01 +0000 (10:36 +0200)
src/compact_tree.ml

index 8329499..485f5ff 100644 (file)
@@ -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