1 files changed, 1 insertions, 2 deletions
diff --git a/lib/divdf3.c b/lib/divdf3.c
index 820b4c851..925abd509 100644
--- a/lib/divdf3.c
+++ b/lib/divdf3.c
@@ -15,12 +15,11 @@
 // underflow with correct rounding.
 //
 //===----------------------------------------------------------------------===//
+#include "abi.h"
 
 #define DOUBLE_PRECISION
 #include "fp_lib.h"
 
-#include "int_lib.h"
-
 ARM_EABI_FNALIAS(ddiv, divdf3);
 
 fp_t __divdf3(fp_t a, fp_t b) {