diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/checker.cpp | 4 | ||||
| -rw-r--r-- | src/checker.hpp | 2 |
2 files changed, 0 insertions, 6 deletions
diff --git a/src/checker.cpp b/src/checker.cpp index 05e7c9d4b..34a8680ac 100644 --- a/src/checker.cpp +++ b/src/checker.cpp @@ -850,8 +850,6 @@ void init_checker_info(CheckerInfo *i) { array_init(&i->identifier_uses, a); } - map_init(&i->atom_op_map, a); - } void destroy_checker_info(CheckerInfo *i) { @@ -869,8 +867,6 @@ void destroy_checker_info(CheckerInfo *i) { array_free(&i->identifier_uses); array_free(&i->required_foreign_imports_through_force); array_free(&i->required_global_variables); - - map_destroy(&i->atom_op_map); } CheckerContext make_checker_context(Checker *c) { diff --git a/src/checker.hpp b/src/checker.hpp index f590b89fe..0d5974f67 100644 --- a/src/checker.hpp +++ b/src/checker.hpp @@ -290,8 +290,6 @@ struct CheckerInfo { Array<Entity *> required_foreign_imports_through_force; Array<Entity *> required_global_variables; - Map<AtomOpMapEntry> atom_op_map; // Key: Ast * - Array<Entity *> testing_procedures; bool allow_identifier_uses; |