summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/flex.texi2
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 ;