simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-22 17:36:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Forgot to end a 'TR'

Browse source
This commit is contained in:
Guillaume Bury 2015-01-29 15:16:51 +01:00
parent b6089e67c3
commit a0ae0ca90c
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
solver/mcproof.ml
View file

@ -353,11 +353,11 @@ module Make(St : Mcsolver_types.S) = struct
Format.fprintf fmt "<TR><TD colspan=\"2\">%a</TD></TR><TR><TD BGCOLOR=\"%s\" rowspan=\"%d\">%s</TD>"
print_clause p.conclusion color (List.length f_args + List.length t_args) name;
if f_args <> [] then
Format.fprintf fmt "<TD>%a</TD>%a%a" St.print_atom (List.hd f_args)
Format.fprintf fmt "<TD>%a</TD></TR>%a%a" St.print_atom (List.hd f_args)
(fun fmt -> List.iter (fun a -> Format.fprintf fmt "<TR><TD>%a</TD></TR>" St.print_atom a)) (List.tl f_args)
(fun fmt -> List.iter (fun v -> Format.fprintf fmt "<TR><TD>%a</TD></TR>" St.print_semantic_var v)) t_args
else
Format.fprintf fmt "<TD>%a</TD>%a" St.print_semantic_var (List.hd t_args)
Format.fprintf fmt "<TD>%a</TD></TR>%a" St.print_semantic_var (List.hd t_args)
(fun fmt -> List.iter (fun v -> Format.fprintf fmt "<TR><TD>%a</TD></TR>" St.print_semantic_var v)) (List.tl t_args)
in
print_dot_rule "BGCOLOR=\"LIGHTBLUE\"" aux () fmt p.conclusion