Commit 40881553 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Improve display of task separators.

parent c244723a
......@@ -554,9 +554,9 @@ let print_sequent fmt task =
fprintf fmt "@[%a@]@\n@\n" print_decl d;
aux fmt r
in
fprintf fmt "----------------------------- Local context ---------------------------@\n@\n";
fprintf fmt "--------------------------- Local Context ---------------------------@\n@\n";
fprintf fmt "@[<v 0>%a@]" aux ld1;
fprintf fmt "----------------------------- Goal ---------------------------@\n@\n";
fprintf fmt "------------------------------- Goal --------------------------------@\n@\n";
fprintf fmt "@[<v 0>%a@]" aux ld2;
......
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