From 0193add060ecc591ca27d029916823911df5d503 Mon Sep 17 00:00:00 2001
From: lat9nq <22451773+lat9nq@users.noreply.github.com>
Date: Sat, 10 Jun 2023 00:44:03 -0400
Subject: general: Add typeinfo where needed

Using typeid without including typeinfo first produces an ill-formed program.
---
 src/common/settings.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/common/settings.h')

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>
 
-- 
cgit v1.2.3