projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fixed uneeded free in get cached text
[SXSI/xpathcomp.git]
/
ata.ml
diff --git
a/ata.ml
b/ata.ml
index
fa44fd6
..
043d3d2
100644
(file)
--- a/
ata.ml
+++ b/
ata.ml
@@
-767,7
+767,7
@@
END
in
let cont = D_IF_( (fun t ctx ->
let a,b = cont t ctx in
in
let cont = D_IF_( (fun t ctx ->
let a,b = cont t ctx in
- register_trace t (slist,a,fl_list,first,next,ctx);
+ register_trace t
ree t
(slist,a,fl_list,first,next,ctx);
(a,b)
) ,cont)
in
(a,b)
) ,cont)
in
@@
-783,8
+783,8
@@
END
let _,res = top_down a tree Tree.root init Tree.root 1
in
D_IGNORE_(
let _,res = top_down a tree Tree.root init Tree.root 1
in
D_IGNORE_(
- output_trace a tree
root
"trace.html"
- (RS.fold (fun t a -> IntSet.add (Tree.id t) a) res.(0) IntSet.empty),
+ output_trace a tree "trace.html"
+ (RS.fold (fun t a -> IntSet.add (Tree.id t
ree t
) a) res.(0) IntSet.empty),
res.(0))
;;
res.(0))
;;
@@
-1009,7
+1009,7
@@
END
end
let top_down_count a t = let module RI = Run(Integer) in Integer.length (RI.run_top_down a t)
end
let top_down_count a t = let module RI = Run(Integer) in Integer.length (RI.run_top_down a t)
- let top_down a t = let module RI = Run(
GResul
t) in (RI.run_top_down a t)
+ let top_down a t = let module RI = Run(
IdSe
t) in (RI.run_top_down a t)
let bottom_up_count a t k = let module RI = Run(Integer) in Integer.length (RI.run_bottom_up a t k)
let bottom_up_count a t k = let module RI = Run(Integer) in Integer.length (RI.run_bottom_up a t k)