From 89d824216a80285445d08e85b6650897a12d33cb Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Thu, 21 May 2020 09:30:15 +0100
Subject: Add extra information to `-show-more-timings`

---
 src/checker.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/checker.cpp')

diff --git a/src/checker.cpp b/src/checker.cpp
index ae9a6e56e..ef7d72e65 100644
--- a/src/checker.cpp
+++ b/src/checker.cpp
@@ -4405,6 +4405,7 @@ void check_parsed_files(Checker *c) {
 			error(token, "Undefined entry point procedure 'main'");
 		}
 	}
+	TIME_SECTION("type check finish");
 
 #undef TIME_SECTION
 }
-- 
cgit v1.2.3