X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fruntime.ml;fp=src%2Fruntime.ml;h=2d76bc1e77b4d63c0121ccf3efbbb2d8bebccd2f;hb=5db22d04b3c81471dd521537a819da9ce541a171;hp=b4de9cf2e5ed61918f69b136064d8a82a7a68c36;hpb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;p=SXSI%2Fxpathcomp.git

diff --git a/src/runtime.ml b/src/runtime.ml
index b4de9cf..2d76bc1 100644
--- a/src/runtime.ml
+++ b/src/runtime.ml
@@ -255,6 +255,7 @@ DEFINE LOOP_TAG (t, states, tag, ctx) = (
 
     and l2jit_dispatch_instr t ctx instr =
       match instr with
+	| L2JIT.NOP () -> nil_res
 	| L2JIT.FIRST_CHILD s -> LOOP ((Tree.first_child tree t), s, ctx)
 	| L2JIT.NEXT_SIBLING s -> LOOP ((Tree.next_sibling tree t), s, ctx)