Fix remaining compilation bug caused by the refactoring of modules.

(Bug was previously unnoticed because it only touches code that handle
tracing of automaton run)

diff --git a/src/eval.ml b/src/eval.ml
index 76d9153..5ebd1ec 100644 (file)
--- a/src/eval.ml
+++ b/src/eval.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-04-04 21:16:27 CEST by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-04-15 17:50:33 CEST by Kim Nguyen>
 *)
 
 INCLUDE "utils.ml"
@@ -132,7 +132,7 @@ END
     done;
     at_exit (fun () -> eprintf "INFO: %i iterations\n" !iter);
     let r = get_results auto tree node cache in
-    TRACE(Html.gen_trace (module T : Tree.Sig.S with type t = T.t) (tree));
+    TRACE(Html.gen_trace (module T : Tree.S with type t = T.t) (tree));
     r
 
 end

diff --git a/src/html.ml b/src/html.ml
index 6c45c93..858b43f 100644 (file)
--- a/src/html.ml
+++ b/src/html.ml
@@ -25,12 +25,12 @@ let trace nodeid i =
 
 
 let gen_trace (type s)  = (); fun t tree ->
-  let module T = (val (t) : Tree.Sig.S with type t = s) in
+  let module T = (val (t) : Tree.S with type t = s) in
   let rec loop odot ohtml node parent =
     if node == T.nil then () else begin
       let s_node = "node" ^ (string_of_int (T.preorder tree node)) in
       fprintf odot "%s[ id=\"%s\" label=\"%s\"];\n"
-        s_node s_node (Utils.QName.to_string (T.tag tree node));
+        s_node s_node (QName.to_string (T.tag tree node));
       let m =
         try
           Hashtbl.find info (T.preorder tree node)

diff --git a/src/html.mli b/src/html.mli
index 0a7d8dd..660710e 100644 (file)
--- a/src/html.mli
+++ b/src/html.mli
@@ -1,2 +1,2 @@
 val trace : int -> int -> ('a, Format.formatter, unit, unit) format4 -> 'a
-val gen_trace : (module Tree.Sig.S with type t = 'a) -> 'a -> unit
+val gen_trace : (module Tree.S with type t = 'a) -> 'a -> unit