projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
.
[SXSI/xpathcomp.git]
/
html_trace.ml
diff --git
a/html_trace.ml
b/html_trace.ml
index
333682c
..
bcd086e
100644
(file)
--- a/
html_trace.ml
+++ b/
html_trace.ml
@@
-230,7
+230,7
@@
let output_trace a tree file results =
);
pr_str "%s" "\nTriggered transitions:\n";
pr_str "%s" "<table><tr valign=\"top\">";
);
pr_str "%s" "\nTriggered transitions:\n";
pr_str "%s" "<table><tr valign=\"top\">";
-
L
ist.iter (fun fl ->
+
Formlistl
ist.iter (fun fl ->
pr_str "%s" "<td>";Formlist.print strf fl;pr_str "</td>";
max_tt := max !max_tt (Formlist.length fl);
) trans;
pr_str "%s" "<td>";Formlist.print strf fl;pr_str "</td>";
max_tt := max !max_tt (Formlist.length fl);
) trans;