projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fixed compilation bug
[SXSI/xpathcomp.git]
/
ata.ml
diff --git
a/ata.ml
b/ata.ml
index
3741b56
..
99f5c97
100644
(file)
--- a/
ata.ml
+++ b/
ata.ml
@@
-927,7
+927,7
@@
END
let s = StateSet.choose cf in
if (Algebra.is_rec a s fst) && (Algebra.is_rec a s snd)
&& (Algebra.is_final_marking a s)
let s = StateSet.choose cf in
if (Algebra.is_rec a s fst) && (Algebra.is_rec a s snd)
&& (Algebra.is_final_marking a s)
- then RS.mk_quick_
subtree
default llist 1 tree tag'
+ then RS.mk_quick_
tag_loop
default llist 1 tree tag'
else default
else default
| _ ->
else default
else default
| _ ->