Remove trailing white spaces

[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\">";
-         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;