From c6f23a2c3a5c0ee4426d1b00fc2807676abdf132 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Fri, 22 Nov 2013 15:32:07 +0100 Subject: [PATCH] Silence an unused variable warning. --- src/html.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/html.ml b/src/html.ml index 236ee39..21b33e6 100644 --- 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) -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) ) @@ -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 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 @@ -165,5 +164,3 @@ Ata.print auto; pp_print_flush ohtml (); close_out ohtml_; close_in fi - - -- 2.17.1