From e52a0d2aa417ec579ec4bd9b0a03baeb4fdc6ee1 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Tue, 18 Apr 2017 10:36:01 +0200 Subject: [PATCH] Update comment describing data layout. --- src/compact_tree.ml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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 -- 2.17.1