projects
/
SXSI
/
xpathcomp.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
be1caa5
)
fixed compilation bug
author
kim
<kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Sat, 6 Jun 2009 03:53:43 +0000
(
03:53
+0000)
committer
kim
<kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Sat, 6 Jun 2009 03:53:43 +0000
(
03:53
+0000)
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@430
3cdefd35
-fc62-479d-8e8d-
bae585ffb9ca
ata.ml
patch
|
blob
|
history
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)
- 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
| _ ->