diff options
| author | Will Estes <westes575@gmail.com> | 2015-08-05 15:27:37 -0400 |
|---|---|---|
| committer | Will Estes <westes575@gmail.com> | 2015-08-05 15:27:37 -0400 |
| commit | 4f2ae90b2826d2b87c2ff50ba13c0a0c7bb18eb0 (patch) | |
| tree | 340dec7eb301628bd16d99c135f677183c276f25 | |
| parent | b6fa146a0f663e7fa0c494bef1fa5e0db11ce75a (diff) | |
add %{...%} block to example in manual
| -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 ; |