X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=html_trace.ml;h=bcd086e5dc1807d27a6e7dcc33bd5657b6d28e3b;hb=df5fdb22632be887ecd9f5c46a014e7e970148a2;hp=333682cb3bcd5a084cccd8afe3ea237d5474187c;hpb=645b7263119a1262cbb442a3166783ad372becef;p=SXSI%2Fxpathcomp.git

diff --git a/html_trace.ml b/html_trace.ml
index 333682c..bcd086e 100644
--- 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;