* device/lib/acosf.c (acosf),
[fw/sdcc] / device / lib / asinf.c
index 29291364f06f889dfb6b32a2e63fca388f0f01a4..0d5b1523d098fa907cd69a3fddb75aac352102a8 100644 (file)
@@ -22,7 +22,7 @@
 
 float asincosf(const float x, const int isacos);
 
-float asinf(const float x) reentrant
+float asinf(const float x) _FLOAT_FUNC_REENTRANT
 {   
          if(x== 1.0) return  HALF_PI;
     else if(x==-1.0) return -HALF_PI;