);
pr_str "%s" "\nTriggered transitions:\n";
pr_str "%s" "<table><tr valign=\"top\">";
- List.iter (fun fl ->
+ Formlistlist.iter (fun fl ->
pr_str "%s" "<td>";Formlist.print strf fl;pr_str "</td>";
max_tt := max !max_tt (Formlist.length fl);
) trans;