1 files changed, 4 insertions, 0 deletions
diff --git a/lib/addsf3.c b/lib/addsf3.c
index 061528b35..d4ee2c4c4 100644
--- a/lib/addsf3.c
+++ b/lib/addsf3.c
@@ -15,6 +15,10 @@
 #define SINGLE_PRECISION
 #include "fp_lib.h"
 
+#include "int_lib.h"
+
+ARM_EABI_FNALIAS(fadd, addsf3);
+
 fp_t __addsf3(fp_t a, fp_t b) {
 
     rep_t aRep = toRep(a);