diff options
| -rw-r--r-- | 091run_interactive.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/091run_interactive.cc b/091run_interactive.cc index cb01b2a5..9ad77ebb 100644 --- a/091run_interactive.cc +++ b/091run_interactive.cc @@ -463,6 +463,7 @@ case RELOAD: { //? cerr << "== reload\n"; // clear any containers in advance for (long long int i = 0; i < SIZE(Recently_added_types); ++i) { + if (!contains_key(Type, Recently_added_types.at(i))) continue; Type_ordinal.erase(get(Type, Recently_added_types.at(i)).name); Type.erase(Recently_added_types.at(i)); } |