Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit a5d56f8b authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix unbalanced output when a transformation has no subgoals.

parent 15acb65c
......@@ -174,13 +174,16 @@ let rec num_lines acc tr =
fprintf fmt "<td style=\"background-color:#E0E0E0\"></td>"
fprintf fmt "</tr>@\n";
fprintf fmt "<tr><td rowspan=\"%d\">&nbsp;&nbsp;</td>" (num_lines 0 tr);
let nl = num_lines 0 tr in
if nl > 0 then begin
fprintf fmt "<tr><td rowspan=\"%d\">&nbsp;&nbsp;</td>" nl;
let (_:bool) = List.fold_left
(fun needs_tr g ->
print_goal fmt needs_tr (depth+1) max_depth provers g;
false tr.transf_goals
in ()
and print_goal fmt needs_tr depth max_depth provers g =
if needs_tr then fprintf fmt "<tr>";
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment