diff options
| author | gingerBill <bill@gingerbill.org> | 2021-07-13 23:10:12 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2021-07-13 23:10:12 +0100 |
| commit | 69027b6840ae3e46291ff65353eb164ccb2f013e (patch) | |
| tree | cfdefa8c50ff006708816c72aeb1c9328b292142 /src/checker.cpp | |
| parent | 7a9b7af078da29ca54e4dbd653b4ac0fa46d18c3 (diff) | |
Remove dead mutexes
Diffstat (limited to 'src/checker.cpp')
| -rw-r--r-- | src/checker.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/checker.cpp b/src/checker.cpp index c71a75503..9c13ba478 100644 --- a/src/checker.cpp +++ b/src/checker.cpp @@ -962,9 +962,6 @@ bool init_checker(Checker *c, Parser *parser) { gb_semaphore_init(&c->procs_to_check_semaphore); mpmc_init(&c->global_untyped_queue, a, 1<<20); - - gb_mutex_init(&c->poly_type_mutex); - gb_mutex_init(&c->poly_proc_mutex); return true; } |