From 80f181cbb677c38c36da9076b4b86faf4cb83094 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Wed, 9 Sep 2020 15:25:48 -0700
Subject: [PATCH] Add extra line after code fence.

---
 13/error.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/13/error.cpp b/13/error.cpp
index d3cb850..b26c7e7 100644
--- a/13/error.cpp
+++ b/13/error.cpp
@@ -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 << std::endl << "```" << std::endl;
         drv.print_highlighted_location(to, *loc);
-        to << "```" << std::endl;
+        to << "```" << std::endl << std::endl;
     }
 }