X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.ml;fp=ata.ml;h=2a60708b3aa35e0ab5e89a94f021d085c6165ce5;hb=c62b07ebdfc8cd5f40a2653ad73e659068b6e76f;hp=c2a133b30067b5a0ef0f1ad620eb903e2406291d;hpb=c02900bb9b9ecd87ab08465f7dad36dd7cd34d50;p=SXSI%2Fxpathcomp.git

diff --git a/ata.ml b/ata.ml
index c2a133b..2a60708 100644
--- 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