diff options
| author | gingerBill <bill@gingerbill.org> | 2020-05-21 09:30:15 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2020-05-21 09:30:15 +0100 |
| commit | 89d824216a80285445d08e85b6650897a12d33cb (patch) | |
| tree | f1082c007eed839c072e7d834d6f3e810cd44879 /src/checker.cpp | |
| parent | 3f23a0b3b0c999ae642a447055ee2082f281501b (diff) | |
Add extra information to `-show-more-timings`
Diffstat (limited to 'src/checker.cpp')
| -rw-r--r-- | src/checker.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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 } |