diff options
| author | gingerBill <bill@gingerbill.org> | 2023-01-02 15:40:25 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2023-01-02 15:40:25 +0000 |
| commit | fa562ec5d60319f5cd7e85bb337bd21feb7ceeb8 (patch) | |
| tree | 00e7f2148c79fe226298821e522874fbc5b1e0b4 /src/checker.cpp | |
| parent | 529383f5b17d74f66bebb8679820a69476635b6a (diff) | |
Remove unneeded `local_entity_map`
Diffstat (limited to 'src/checker.cpp')
0 files changed, 0 insertions, 0 deletions