diff --git a/share/libc/math.h b/share/libc/math.h
index ec8b3111f434af48b20d7f3f6b75217b3333d9ed..25c122cd2ed7a047e97c86c3be4566de0ba72acb 100644
--- a/share/libc/math.h
+++ b/share/libc/math.h
@@ -1532,13 +1532,13 @@ extern int __finite(double d);
   ensures result_is_infinity: \is_plus_infinity(\result);
   assigns \result \from \nothing;
   @*/
-extern const float __fc_infinity(int x);
+extern float __fc_infinity(int x);
 
 /*@
   ensures result_is_nan: \is_NaN(\result);
   assigns \result \from \nothing;
   @*/
-extern const float __fc_nan(int x);
+extern float __fc_nan(int x);
 
 
 #define INFINITY __fc_infinity(0)