From 3c62011f03329cbb307cc4372ac430c05629e20d Mon Sep 17 00:00:00 2001 From: jmt Date: Fri, 18 Sep 2009 17:17:06 +0000 Subject: [PATCH] Drat, this is really needed. Yuck, yuck, yuck. --- src/Main/fg_props.hxx | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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. //////////////////////////////////////////////////////////////////////// -- 2.39.5