X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fl2JIT.mli;fp=src%2Fl2JIT.mli;h=f269fc6a9881cca55c0b8ab0f37c1c6b5a7e79cd;hb=9d19c60e10c9572885509b35c2b72f362968d6ab;hp=e6f3aa999cbb4bfed5c82262b901e80967e6f893;hpb=3c2dcd45ebe8d5c3134c8202efe329f76ffc0b8c;p=SXSI%2Fxpathcomp.git

diff --git a/src/l2JIT.mli b/src/l2JIT.mli
index e6f3aa9..f269fc6 100644
--- a/src/l2JIT.mli
+++ b/src/l2JIT.mli
@@ -9,9 +9,9 @@ type jump =
   | SELECT_DESCENDANT of StateSet.t * Ptset.Int.t * Tree.unordered_set
   | SELECT_FOLLOWING of StateSet.t * Ptset.Int.t * Tree.unordered_set
   | TAGGED_CHILD of StateSet.t * Tag.t
-  | TAGGED_FOLLOWING_SIBLING of StateSet.t * Tag.t
+  | TAGGED_SIBLING of StateSet.t * Tag.t
   | SELECT_CHILD of StateSet.t * Ptset.Int.t * Tree.unordered_set
-  | SELECT_FOLLOWING_SIBLING of StateSet.t * Ptset.Int.t * Tree.unordered_set
+  | SELECT_SIBLING of StateSet.t * Ptset.Int.t * Tree.unordered_set
   | TAGGED_SUBTREE of StateSet.t * Tag.t
   | ELEMENT_SUBTREE of StateSet.t