diff --git a/frontend/drivers/platform_unix.c b/frontend/drivers/platform_unix.c
index 23418e147d..80bd183322 100644
--- a/frontend/drivers/platform_unix.c
+++ b/frontend/drivers/platform_unix.c
@@ -616,7 +616,7 @@ static bool make_proc_acpi_key_val(char **_ptr, char **_key, char **_val)
 
     *(ptr++) = '\0';  /* terminate the key. */
 
-    while ((*ptr == ' ') && (*ptr != '\0'))
+    while (*ptr == ' ')
         ptr++;  /* skip whitespace. */
 
     if (*ptr == '\0')