diff options
Diffstat (limited to '')
-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> |