diff options
Diffstat (limited to 'Build/source/libs/mpfr/mpfr-src/src/inits.c')
-rw-r--r-- | Build/source/libs/mpfr/mpfr-src/src/inits.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/libs/mpfr/mpfr-src/src/inits.c b/Build/source/libs/mpfr/mpfr-src/src/inits.c index 959d822c06d..4491e13f683 100644 --- a/Build/source/libs/mpfr/mpfr-src/src/inits.c +++ b/Build/source/libs/mpfr/mpfr-src/src/inits.c @@ -21,8 +21,8 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ #ifdef HAVE_CONFIG_H -#undef HAVE_STDARG -#include "config.h" /* for a build within gmp */ +# undef HAVE_STDARG +# include "config.h" #endif #if HAVE_STDARG |