--- a/stage4/generate_iec/generate_iec.cc	Sun Feb 09 07:23:30 2014 +0000
+++ b/stage4/generate_iec/generate_iec.cc	Sun Feb 09 08:05:44 2014 +0000
@@ -1422,6 +1422,10 @@
 }
 
 
+/* intermediate helper symbol for configuration_declaration  */
+/*  { global_var_declarations_list }   */
+void *visit(global_var_declarations_list_c *symbol) {return print_list(symbol);}
+
 /* helper symbol for configuration_declaration */
 /*| resource_declaration_list resource_declaration */
 void *visit(resource_declaration_list_c *symbol) {return print_list(symbol);}