From: Kim Nguyễn <kn@lri.fr>
Date: Tue, 18 Apr 2017 08:36:01 +0000 (+0200)
Subject: Update comment describing data layout.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=e52a0d2aa417ec579ec4bd9b0a03baeb4fdc6ee1

Update comment describing data layout.
---

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