--- a/stage4/generate_cc/generate_location_list.cc	Tue Aug 28 08:42:54 2007 +0200
+++ b/stage4/generate_cc/generate_location_list.cc	Wed Aug 29 11:06:13 2007 +0200
@@ -123,6 +123,8 @@
       s4o.print(",");
       /* Do not use print_token() as it will change everything into uppercase */
       s4o.printlocation((symbol->value)+1);
+      s4o.print(",");
+      s4o.printlocation_comasep((symbol->value)+1);
       s4o.print(")\n");
       return NULL;
     }