From: Kim Nguyễn <kn@lri.fr>
Date: Thu, 1 Mar 2012 13:27:59 +0000 (+0100)
Subject: Update to new caching infrastructure.
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=a357ae76d9af8d4de812c893680780de0dad2149;hp=7270a43a59e6ff4b27ab0a339723ed8a24d0a091;p=SXSI%2Fxpathcomp.git

Update to new caching infrastructure.
---

diff --git a/src/l2JIT.mli b/src/l2JIT.mli
index 9575f34..e6f3aa9 100644
--- a/src/l2JIT.mli
+++ b/src/l2JIT.mli
@@ -23,8 +23,8 @@ val print_jump : Format.formatter -> jump -> unit
 val jump_stat_summary : Format.formatter -> unit
 
 type opcode =
-    CACHE of unit
-  | RETURN of unit
+    CACHE
+  | RETURN
   | LEFT of Translist.t * jump
   | RIGHT of Translist.t * jump
   | BOTH of Translist.t * jump * jump
@@ -35,7 +35,7 @@ val dummy : opcode
 
 val create : unit -> t
 
-val stats : Format.formatter -> t -> unit
+(*val stats : Format.formatter -> t -> unit *)
 
 val find : t -> int -> StateSet.Node.t -> opcode