1 files changed, 4 insertions, 0 deletions
diff --git a/lib/adddf3.c b/lib/adddf3.c
index 5338a4b4f..16b394c2b 100644
--- a/lib/adddf3.c
+++ b/lib/adddf3.c
@@ -12,9 +12,13 @@
 //
 //===----------------------------------------------------------------------===//
 
+#include "int_lib.h"
+
 #define DOUBLE_PRECISION
 #include "fp_lib.h"
 
+ARM_EABI_FNALIAS(dadd, adddf3);
+
 fp_t __adddf3(fp_t a, fp_t b) {
     
     rep_t aRep = toRep(a);