X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fl2JIT.mli;fp=src%2Fl2JIT.mli;h=c4a757838521ad22fc5c2d3a1e5c297899f15b2d;hb=762af11c30f30845ab7cd72d640ea153ed160487;hp=9d97d4afc24fbdf7c38b34619e071b2314356ac1;hpb=0c50360a781f9c1048ac84d90561cdd5a6fb34ac;p=SXSI%2Fxpathcomp.git

diff --git a/src/l2JIT.mli b/src/l2JIT.mli
index 9d97d4a..c4a7578 100644
--- a/src/l2JIT.mli
+++ b/src/l2JIT.mli
@@ -23,11 +23,11 @@ val print_jump : Format.formatter -> jump -> unit
 val jump_stat_summary : Format.formatter -> unit
 
 type opcode =
-    CACHE
-  | RETURN
+  | RETURN of unit
   | LEFT of Translist.t * jump
   | RIGHT of Translist.t * jump
   | BOTH of Translist.t * jump * jump
+  | CACHE of unit
 
 type t = opcode Cache.Lvl2.t