diff --git a/share/libc/netdb.c b/share/libc/netdb.c
index b941064d12a1c6a1dc807e4188479ae33ff0457b..182d8d7e8dd2734bd10eacc23cd9f95b4dd8c758 100644
--- a/share/libc/netdb.c
+++ b/share/libc/netdb.c
@@ -91,7 +91,7 @@ struct __fc_gethostbyname {
 
 struct __fc_gethostbyname __fc_ghbn;
 
-int res_search(const char *dname, int class, int type,
+static int res_search(const char *dname, int rec_class, int type,
                char *answer, int anslen) {
   for (int i = 0; i < anslen-1; i++) {
     answer[i] = Frama_C_char_interval(CHAR_MIN, CHAR_MAX);