diff --git a/src/Main/fg_props.hxx b/src/Main/fg_props.hxx index 7651d65f9..41772ff35 100644 --- a/src/Main/fg_props.hxx +++ b/src/Main/fg_props.hxx @@ -10,7 +10,9 @@ #include #include - + +#include
+ //////////////////////////////////////////////////////////////////////// // Property management. ////////////////////////////////////////////////////////////////////////