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

diff --git a/src/l2JIT.mli b/src/l2JIT.mli
index 0da7c46..e6f3aa9 100644
--- a/src/l2JIT.mli
+++ b/src/l2JIT.mli
@@ -1,4 +1,5 @@
 type jump =
+    NOP of unit
   | FIRST_CHILD of StateSet.t
   | NEXT_SIBLING of StateSet.t
   | FIRST_ELEMENT of StateSet.t