Commit d7f08f7b authored by MARCHE Claude's avatar MARCHE Claude

why3 session latex : fixed wrong columns alignment

parent b1b0f085
......@@ -107,8 +107,9 @@ let print_head n depth provers fmt =
let print_tabular_head n depth provers fmt =
fprintf fmt "\\begin{tabular}";
fprintf fmt "{| l |";
for _i = 0 to (List.length provers) + depth do fprintf fmt "c |" done;
fprintf fmt "{|l|";
for _i = 0 to depth do fprintf fmt "l|" done;
for _i = 1 to (List.length provers) do fprintf fmt "c|" done;
fprintf fmt "}@.";
print_head n depth provers fmt
......
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