Refactor HTML tracing utility. Color the nodes that are in the same

[tatoo.git] / src / run.ml

diff --git a/src/run.ml b/src/run.ml
index 7310e71..ca162a1 100644 (file)
--- a/src/run.ml
+++ b/src/run.ml
@@ -152,12 +152,11 @@ END
 
    let html tree node i config msg =
      let config = config.NodeStatus.node in
-     Html.trace (T.preorder tree node) i
-       "node: %i<br/>%s<br/>sat: %a<br/>todo: %a<br/>_______________________<br/>"
-       (T.preorder tree node)
-       msg
-       StateSet.print config.sat
-       StateSet.print config.todo
+     Html.trace ~msg:msg 
+       (T.preorder tree node) i
+       config.todo
+       config.sat
+
 
 
    let debug msg tree node i config =