rem: if ( b == yy_current_buffer ) yy_current_buffer = (YY_BUFFER_STATE) 0;
add: if ( b == YY_CURRENT_BUFFER )  YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
context: void yy_delete_buffer( YY_BUFFER_STATE b )#elsevoid yy_delete_buffer( b )YY_BUFFER_STATE b;#endif	{	if ( ! b )		return;	if ( b == yy_current_buffer )		yy_current_buffer = (YY_BUFFER_STATE) 0;	if ( b->yy_is_our_buffer )		yy_flex_free( (void *) b->yy_ch_buf );	yy_flex_free( (void *) b );	}