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

diff --git a/src/l2JIT.mli b/src/l2JIT.mli
index e6f3aa9..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