X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fruntime.ml;h=82803082360f5369f9cd0b3802a886c3f20201d2;hb=a6c781462ddca7c25fe95789c81c2265f153203c;hp=40c9e97aad20d80c9193fff1966b8cb8d7d757d5;hpb=80358d87bec105b38a36c5d31d24a522edd48f40;p=SXSI%2Fxpathcomp.git

diff --git a/src/runtime.ml b/src/runtime.ml
index 40c9e97..8280308 100644
--- a/src/runtime.ml
+++ b/src/runtime.ml
@@ -233,7 +233,6 @@ DEFINE LOOP_TAG (t, states, tag, ctx) = (
 
     and l2jit_dispatch_instr t tag states 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)