diff options
-rw-r--r-- | doc/flex.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/flex.texi b/doc/flex.texi index 65ae419..bccab1e 100644 --- a/doc/flex.texi +++ b/doc/flex.texi @@ -2182,7 +2182,7 @@ manages its own input buffer stack manually (instead of letting flex do it). } <<EOF>> { - if ( --include_stack_ptr 0 ) + if ( --include_stack_ptr == 0 ) { yyterminate(); } |