1 files changed, 1 insertions, 1 deletions
diff --git a/netlib.c b/netlib.c
index fc49cf9d..8718fc3d 100644
--- a/netlib.c
+++ b/netlib.c
@@ -189,7 +189,7 @@ char *netlib_sock2ip(socket_t fd)
 {
     sockaddr_t fsin;
     socklen_t alen = (socklen_t) sizeof(fsin);
-    /*@i1@*/ static char ip[INET6_ADDRSTRLEN];
+    static char ip[INET6_ADDRSTRLEN];
     int r;
 
     r = getpeername(fd, &(fsin.sa), &alen);