X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fl2JIT.mli;h=e6f3aa999cbb4bfed5c82262b901e80967e6f893;hb=5db22d04b3c81471dd521537a819da9ce541a171;hp=0da7c4629b7227ec07636384ddfd7ea27d361046;hpb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;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