projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Implement copy and composition of automata.
[tatoo.git]
/
src
/
tatoo.ml
diff --git
a/src/tatoo.ml
b/src/tatoo.ml
index
362c4fb
..
1dff2a4
100644
(file)
--- a/
src/tatoo.ml
+++ b/
src/tatoo.ml
@@
-40,6
+40,7
@@
let main () =
let auto =
time Xpath.Compile.path query "compiling XPath query"
in
let auto =
time Xpath.Compile.path query "compiling XPath query"
in
+ let auto = time Ata.copy auto "copying Automaton" in
let output =
match !Options.output_file with
| None | Some "-" | Some "/dev/stdout" -> stdout
let output =
match !Options.output_file with
| None | Some "-" | Some "/dev/stdout" -> stdout
@@
-67,7
+68,7
@@
let main () =
output_string output "</xml_result>\n";
flush output;
if output != stdout then close_out output
output_string output "</xml_result>\n";
flush output;
if output != stdout then close_out output
-
+
) () "serializing results"
) () "serializing results"