1 files changed, 3 insertions, 2 deletions
diff --git a/lib/adddf3.c b/lib/adddf3.c
index 16b394c2b..3cc997b71 100644
--- a/lib/adddf3.c
+++ b/lib/adddf3.c
@@ -12,14 +12,15 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "int_lib.h"
+#include "abi.h"
 
 #define DOUBLE_PRECISION
 #include "fp_lib.h"
 
 ARM_EABI_FNALIAS(dadd, adddf3);
 
-fp_t __adddf3(fp_t a, fp_t b) {
+COMPILER_RT_ABI fp_t
+__adddf3(fp_t a, fp_t b) {
     
     rep_t aRep = toRep(a);
     rep_t bRep = toRep(b);