X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fl2JIT.mli;h=0da7c4629b7227ec07636384ddfd7ea27d361046;hb=2a7218fd2a985ed57732f9f7b9a0b62f4b2c83df;hp=9575f34a228da92d36f476a95fcd1a73da92c7af;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/l2JIT.mli b/src/l2JIT.mli
index 9575f34..0da7c46 100644
--- a/src/l2JIT.mli
+++ b/src/l2JIT.mli
@@ -1,5 +1,4 @@
 type jump =
-    NOP of unit
   | FIRST_CHILD of StateSet.t
   | NEXT_SIBLING of StateSet.t
   | FIRST_ELEMENT of StateSet.t
@@ -23,8 +22,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 +34,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