diff -r 05ed78b25d0d -r a8263f33123f stage4/generate_c/generate_c_st.cc
--- a/stage4/generate_c/generate_c_st.cc	Thu Jul 17 19:06:53 2008 +0200
+++ b/stage4/generate_c/generate_c_st.cc	Thu Jul 17 19:07:26 2008 +0200
@@ -227,6 +227,7 @@
     s4o.print(" && ");
     symbol->r_exp->accept(*this);
     s4o.print(")");
+    return NULL;
   }
   if (search_expression_type->is_binary_type(left_type))
     return print_binary_expression(symbol->l_exp, symbol->r_exp, " ^ ");