diff --git a/src/Gui/ActiveObjectList.h b/src/Gui/ActiveObjectList.h index b7d021a8e2..636d271411 100644 --- a/src/Gui/ActiveObjectList.h +++ b/src/Gui/ActiveObjectList.h @@ -28,6 +28,7 @@ #include #include +#include namespace App {