diff options
| author | gingerBill <bill@gingerbill.org> | 2020-03-19 12:28:39 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2020-03-19 12:28:39 +0000 |
| commit | fc0002ab674969fe3a3c8ea84787c8cd9a2c3606 (patch) | |
| tree | 5854b1f485dcae4f3b3f88479148e12519af8bc9 /src/checker.hpp | |
| parent | 04fe23a3c860ea29998c290d2a0dc94ee240a53a (diff) | |
Fix enum type info generation
Diffstat (limited to 'src/checker.hpp')
| -rw-r--r-- | src/checker.hpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/checker.hpp b/src/checker.hpp index 39ab94c70..bd36971df 100644 --- a/src/checker.hpp +++ b/src/checker.hpp @@ -382,3 +382,5 @@ void destroy_checker_poly_path(CheckerPolyPath *); void check_poly_path_push(CheckerContext *c, Type *t); Type *check_poly_path_pop (CheckerContext *c); + +void init_core_context(Checker *c); |