[Gui] DocumentObserver: re-add a header

2022-03-04 04:43:34 +01:00
parent f04d77db59
commit 407e9c4859
1 changed files with 1 additions and 0 deletions
--- a/src/Gui/DocumentObserver.h
+++ b/src/Gui/DocumentObserver.h
@@ -23,6 +23,7 @@
 #ifndef GUI_DOCUMENTOBSERVER_H
 #define GUI_DOCUMENTOBSERVER_H

+#include <Base/BaseClass.h>
 #include <boost_signals2.hpp>