diff options
Diffstat (limited to '042name.cc')
-rw-r--r-- | 042name.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/042name.cc b/042name.cc index ccf4a353..d2a18b33 100644 --- a/042name.cc +++ b/042name.cc @@ -112,7 +112,7 @@ int find_element_name(const type_ordinal t, const string& name) { for (long long int i = 0; i < SIZE(container.element_names); ++i) { if (container.element_names.at(i) == name) return i; } - raise << "unknown element " << name << " in container " << Type[t].name << '\n' << die(); + raise << "unknown element " << name << " in container " << Type[t].name << '\n'; return -1; } |