diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/flex.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/flex.texi b/doc/flex.texi index 825add3..c7edce6 100644 --- a/doc/flex.texi +++ b/doc/flex.texi @@ -4910,8 +4910,10 @@ custom allocator through @code{yyextra}. %option reentrant /* Initialize the allocator. */ +%{ #define YY_EXTRA_TYPE struct allocator* #define YY_USER_INIT yyextra = allocator_create(); +%} %% .|\n ; |