From 8fda89aa053cbdd854df0684b9263523ee1ede77 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Fri, 5 Jun 2020 09:33:02 +0200
Subject: [PATCH] [Libc] remove useless qualifier

---
 share/libc/math.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/share/libc/math.h b/share/libc/math.h
index ec8b3111f43..25c122cd2ed 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)
-- 
GitLab