diff --git a/src/common/server.c b/src/common/server.c
index 171b7ffd..f7347052 100644
--- a/src/common/server.c
+++ b/src/common/server.c
@@ -1491,7 +1491,6 @@ server_child (server * serv)
 	if (!serv->dont_use_proxy) /* blocked in serverlist? */
 	{
 		if (FALSE)
-		{
 			;
 #ifdef USE_LIBPROXY
 		} else if (prefs.proxy_type == 5)