1419   s4o.indent_left();

  1419   s4o.indent_left();

  1420   s4o.print(s4o.indent_spaces + "END_CONFIGURATION\n\n\n");

  1420   s4o.print(s4o.indent_spaces + "END_CONFIGURATION\n\n\n");

  1421   return NULL;

  1421   return NULL;

  1422 }

  1422 }

  1423 

  1423 

  1424 

  1428 

  1425 /* helper symbol for configuration_declaration */

  1429 /* helper symbol for configuration_declaration */

  1426 /*| resource_declaration_list resource_declaration */

  1430 /*| resource_declaration_list resource_declaration */

  1427 void *visit(resource_declaration_list_c *symbol) {return print_list(symbol);}

  1431 void *visit(resource_declaration_list_c *symbol) {return print_list(symbol);}

  1428 

  1432