diff --git a/src/Gui/Quarter/QuarterWidget.cpp b/src/Gui/Quarter/QuarterWidget.cpp index 7edfb0ca97..e8ba92fc96 100644 --- a/src/Gui/Quarter/QuarterWidget.cpp +++ b/src/Gui/Quarter/QuarterWidget.cpp @@ -71,6 +71,10 @@ #include #endif +#if COIN_MAJOR_VERSION >= 4 +#include +#endif + #include #include #include