Restored the buggy jumping

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@951 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

diff --git a/ata.ml b/ata.ml
index c2a133b..2a60708 100644 (file)
--- a/ata.ml
+++ b/ata.ml
@@ -1401,8 +1401,8 @@ END
          let d_n = Algebra.decide a tags_siblings tags_after (StateSet.union sa fa) false in
          let f_kind,first = choose_jump_down tree d_f
          and n_kind,next = choose_jump_next tree d_n in
-         let f_kind, first = `ANY, (Tree.first_element tree)
-         and n_kind, next = `ANY, (Tree.next_element_below tree) in
+         (*let f_kind, first = `ANY, (Tree.first_element tree)
+         and n_kind, next = `ANY, (Tree.next_element_below tree) in *)
           let cont =
             match f_kind,n_kind with
               | `NIL,`NIL ->
@@ -1480,7 +1480,7 @@ END
        let fold_cache = Fold3Res.create BIG_A_SIZE in
        let _,res = top_down1 a tree Tree.root a.init Tree.root code_cache fold_cache
        in
-       Code3Cache.dump code_cache; 
+(*     Code3Cache.dump code_cache;  *)
        res