diff --git a/core/Struct_of.cc b/core/Struct_of.cc
index 6ac813db840b515986276ed948bbd4189afb95c5..9bf18ae55bc9e44d151dca28dc69f54d6d41d4da 100644
--- a/core/Struct_of.cc
+++ b/core/Struct_of.cc
@@ -690,7 +690,7 @@ boolean match_set_of_internal(const Base_Type *value_ptr,
             int temp_value_index;
             int actual_node;
             boolean at_end = FALSE;
-            for( ; !at_end; )
+            while(!at_end)
             {
               at_end = tree.is_head();
               actual_node = tree.actual_data();