diff options
| author | lat9nq <22451773+lat9nq@users.noreply.github.com> | 2023-06-10 00:44:03 -0400 |
|---|---|---|
| committer | lat9nq <22451773+lat9nq@users.noreply.github.com> | 2023-07-21 10:56:54 -0400 |
| commit | 0193add060ecc591ca27d029916823911df5d503 (patch) | |
| tree | df156f3ff0ad714507964a98724674bf2fd3c7cb /src/common/settings.h | |
| parent | 2fba913d0bc022085a0de8848ced02f38e48cd54 (diff) | |
general: Add typeinfo where needed
Using typeid without including typeinfo first produces an ill-formed program.
Diffstat (limited to 'src/common/settings.h')
| -rw-r--r-- | src/common/settings.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/common/settings.h b/src/common/settings.h index 384a8ecb6..29dad27fc 100644 --- a/src/common/settings.h +++ b/src/common/settings.h @@ -12,6 +12,7 @@ #include <stdexcept> #include <string> #include <typeindex> +#include <typeinfo> #include <utility> #include <vector> |