/* Removes and deletes the top of the stack, if present. The next element becomes the new top.  */
void zconfpop_buffer_state(void)
/* Removes and deletes the top of the stack, if present. The next element becomes the new top.  */
void zconfpop_buffer_state(void)
{
    	if (!YY_CURRENT_BUFFER)
		return;
	zconf_delete_buffer(YY_CURRENT_BUFFER );
	YY_CURRENT_BUFFER_LVALUE = NULL;
	if ((yy_buffer_stack_top) > 0)
		--(yy_buffer_stack_top);
	if (YY_CURRENT_BUFFER) {
		zconf_load_buffer_state( );
		(yy_did_buffer_switch_on_eof) = 1;
	}
}