1 files changed, 1 insertions, 1 deletions
diff --git a/lib/krb5.c b/lib/krb5.c
index 3491354db..96938dd6e 100644
--- a/lib/krb5.c
+++ b/lib/krb5.c
@@ -190,7 +190,7 @@ krb5_auth(void *app_data, struct connectdata *conn)
   chan.application_data.value = NULL;
 
   /* this loop will execute twice (once for service, once for host) */
-  while(1) {
+  for(;;) {
     /* this really shouldn't be repeated here, but can't help it */
     if(service == srv_host) {
       result = Curl_ftpsendf(conn, "AUTH GSSAPI");