X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Frun.ml;h=ca162a1f7a7602f855d52418c37724729162f413;hp=7310e71d19eab267459baf0a25b025e130019026;hb=a8f210b6229055c3c5101034d359c61476d8408a;hpb=3df27c09d9b9a84abe1c3d546c2e7243d3173657

diff --git a/src/run.ml b/src/run.ml
index 7310e71..ca162a1 100644
--- 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 =