if Pcre.pmatch ~rex:heading_nl_RE base then
sprintf "\n%s%s" header base
else
- sprintf "%s\n%s" header base
+ sprintf "\n%s\n%s" header base
(** creates a statement AST for the Goal tactic, e.g. "goal 7" *)
let goal_ast n =
if DisambiguateTypes.Environment.is_empty new_aliases then
parsed_text
else
- prepend_text ("\n" ^ DisambiguatePp.pp_environment new_aliases)
+ prepend_text (DisambiguatePp.pp_environment new_aliases)
parsed_text
in
let new_text =