projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
various cleanups, more memoization in symbol table build function
[SXSI/xpathcomp.git]
/
ata.ml
diff --git
a/ata.ml
b/ata.ml
index
4ea2067
..
3959ccf
100644
(file)
--- a/
ata.ml
+++ b/
ata.ml
@@
-1038,7
+1038,7
@@
END
(ts,t) ->
if (TagSet.mem tag ts)
then
- let _,_,_,f,_ =
Transition.node t
in
+ let _,_,_,f,_ =
t.Transition.node
in
let (child,desc,below),(sibl,foll,after) = Formula.st f in
(Formlist.cons t fl_acc,
StateSet.union ll_acc below,