--- a/stage4/generate_iec/generate_iec.cc	Wed Feb 19 22:25:10 2014 +0100
+++ b/stage4/generate_iec/generate_iec.cc	Wed Feb 19 22:27:11 2014 +0100
@@ -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);}