1 files changed, 1 insertions, 1 deletions
diff --git a/div_ui.c b/div_ui.c
index 08622b855..2817b4776 100644
--- a/div_ui.c
+++ b/div_ui.c
@@ -21,6 +21,7 @@ MA 02111-1307, USA. */
 
 #include <stdio.h>
 #include "gmp.h"
+#include "mpfr.h"
 #if (__GNU_MP_VERSION < 3)
 /* longlong.h has to come before gmp-impl.h, 
    otherwise UDIV_NEEDS_NORMALIZATION is wrongly defined */
@@ -30,7 +31,6 @@ MA 02111-1307, USA. */
 #include "gmp-impl.h"
 #include "longlong.h"
 #endif
-#include "mpfr.h"
 
 /* #define DEBUG */