projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
5b19281
)
Silence an unused variable warning.
author
Kim Nguyễn
<kn@lri.fr>
Fri, 22 Nov 2013 14:32:07 +0000
(15:32 +0100)
committer
Kim Nguyễn
<kn@lri.fr>
Fri, 22 Nov 2013 14:32:07 +0000
(15:32 +0100)
src/html.ml
patch
|
blob
|
history
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
-
-