general: Add typeinfo where needed

Using typeid without including typeinfo first produces an ill-formed program.
2023-06-10 00:44:03 -04:00 · 2023-06-10 00:44:03 -04:00 · 9d6de208a1
commit 9d6de208a1
parent 9d3715a68c
6 changed files with 6 additions and 0 deletions
--- 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>