Add extra line after code fence.

This commit is contained in:
Danila Fedorin 2020-09-09 15:25:48 -07:00
parent eade42be49
commit d5c3a44041

View File

@ -12,7 +12,7 @@ void type_error::pretty_print(std::ostream& to, parse_driver& drv) {
to << "occuring on line " << loc->begin.line << ":" << std::endl; to << "occuring on line " << loc->begin.line << ":" << std::endl;
to << std::endl << "```" << std::endl; to << std::endl << "```" << std::endl;
drv.print_highlighted_location(to, *loc); drv.print_highlighted_location(to, *loc);
to << "```" << std::endl; to << "```" << std::endl << std::endl;
} }
} }