Index: uspace/lib/softfloat/softfloat.h
===================================================================
--- uspace/lib/softfloat/softfloat.h	(revision 67ddb71c3646dd5015e24c60914c0c032f02672f)
+++ uspace/lib/softfloat/softfloat.h	(revision 1ba8cb90f0083b95dfc76f546a0752ab1540a4c3)
@@ -228,4 +228,5 @@
 extern int __aeabi_dcmpgt(double, double);
 extern int __aeabi_dcmplt(double, double);
+extern int __aeabi_dcmple(double, double);
 extern int __aeabi_dcmpeq(double, double);