diff -r ab431470e098 -r fd9abc64c43c stage4/generate_c/generate_c_st.cc
--- a/stage4/generate_c/generate_c_st.cc	Sun Dec 09 18:58:55 2007 +0100
+++ b/stage4/generate_c/generate_c_st.cc	Mon Dec 10 16:25:42 2007 +0100
@@ -618,10 +618,6 @@
   symbol->r_exp->accept(*this);
   if (search_base_type.base_is_subrange())
     s4o.print(")");
-  s4o.print("; // ");
-  left_type->accept(*this);
-  s4o.print(" ");
-  base_type->accept(*this);
   return NULL;
 }