Silence an unused variable warning.

diff --git a/src/html.ml b/src/html.ml
index 236ee39..21b33e6 100644 (file)
--- a/src/html.ml
+++ b/src/html.ml
@@ -34,7 +34,7 @@ let trace ?(msg="") nid r t d  =
 
 let finalize_node n r b =
   Hashtbl.replace final n (b,r)
 
 let finalize_node n r b =
   Hashtbl.replace final n (b,r)

-module K = 
+module K =

 struct
   type t = int * StateSet.t * StateSet.t
   let hash (a,b,c) = HASHINT3(a, (b.StateSet.id :> int), (c.StateSet.id :> int) )
 struct
   type t = int * StateSet.t * StateSet.t
   let hash (a,b,c) = HASHINT3(a, (b.StateSet.id :> int), (c.StateSet.id :> int) )


@@ -85,7 +85,6 @@ let gen_trace (type s) = fun auto t tree ->
       let marked, last_round = try Hashtbl.find final node_id with Not_found ->
         Printf.eprintf ">>> %i\n%!" node_id; false, !max_round;
       in
       let marked, last_round = try Hashtbl.find final node_id with Not_found ->
         Printf.eprintf ">>> %i\n%!" node_id; false, !max_round;
       in

-      let pc = if !max_round == 0 then 1. else float_of_int last_round /. float_of_int !max_round in

       let scolor, tcolor =
         let { sat ; todo; _ } =
           match M.find last_round m with
       let scolor, tcolor =
         let { sat ; todo; _ } =
           match M.find last_round m with


@@ -165,5 +164,3 @@ Ata.print auto;
       pp_print_flush ohtml ();
       close_out ohtml_;
       close_in fi
       pp_print_flush ohtml ();
       close_out ohtml_;
       close_in fi

-
-