flex.texi (flex-2.6.3) | : | flex.texi (flex-2.6.4) | ||
---|---|---|---|---|
skipping to change at line 2180 | skipping to change at line 2180 | |||
if ( ! yyin ) | if ( ! yyin ) | |||
error( ... ); | error( ... ); | |||
yy_switch_to_buffer( | yy_switch_to_buffer( | |||
yy_create_buffer( yyin, YY_BUF_SIZE ) ); | yy_create_buffer( yyin, YY_BUF_SIZE ) ); | |||
BEGIN(INITIAL); | BEGIN(INITIAL); | |||
} | } | |||
<<EOF>> { | <<EOF>> { | |||
if ( --include_stack_ptr 0 ) | if ( --include_stack_ptr == 0 ) | |||
{ | { | |||
yyterminate(); | yyterminate(); | |||
} | } | |||
else | else | |||
{ | { | |||
yy_delete_buffer( YY_CURRENT_BUFFER ); | yy_delete_buffer( YY_CURRENT_BUFFER ); | |||
yy_switch_to_buffer( | yy_switch_to_buffer( | |||
include_stack[include_stack_ptr] ); | include_stack[include_stack_ptr] ); | |||
} | } | |||
End of changes. 1 change blocks. | ||||
1 lines changed or deleted | 1 lines changed or added |