From 39a473176a04444b1e253549a0c3a7a40d2c73f3 Mon Sep 17 00:00:00 2001
From: wmayer <wmayer@users.sourceforge.net>
Date: Wed, 27 Jul 2022 07:43:24 +0200
Subject: [PATCH] Gui: help clazy with missing include

---
 src/Gui/ActiveObjectList.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Gui/ActiveObjectList.h b/src/Gui/ActiveObjectList.h
index 636d271411..cd40323145 100644
--- a/src/Gui/ActiveObjectList.h
+++ b/src/Gui/ActiveObjectList.h
@@ -27,6 +27,7 @@
 #define GUI_ActiveObjectList_H
 
 #include <map>
+#include <string>
 #include <Gui/TreeItemMode.h>
 #include <FCGlobal.h>