general: Add typeinfo where needed

Using typeid without including typeinfo first produces an ill-formed program.

2 files changed, 2 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>
 
diff --git a/src/common/settings_enums.h b/src/common/settings_enums.h
index 2710f136d..f3d76b927 100644
--- a/src/common/settings_enums.h
+++ b/src/common/settings_enums.h
@@ -7,6 +7,7 @@
 #include <string>
 #include <type_traits>
 #include <typeindex>
+#include <typeinfo>
 #include "common/common_types.h"
 
 namespace Settings {