diff options
Diffstat (limited to 'support/splint/cweb/fk.w')
-rw-r--r-- | support/splint/cweb/fk.w | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/support/splint/cweb/fk.w b/support/splint/cweb/fk.w index fc0c5d2e14..c25a7e8cc2 100644 --- a/support/splint/cweb/fk.w +++ b/support/splint/cweb/fk.w @@ -1,4 +1,4 @@ -@q Copyright 2012-2020, Alexander Shibakov@> +@q Copyright 2012-2022, Alexander Shibakov@> @q This file is part of SPLinT@> @q SPLinT is free software: you can redistribute it and/or modify@> @@ -330,6 +330,7 @@ known to the \flex\ generated scanner. } @*2Constants. +The few hard coded constants needed for the lexer to work are listed here. @<Scanner constants@>= _register_const_d(YY_END_OF_BUFFER_CHAR)@; _register_const_d(YY_NUM_RULES)@; @@ -427,6 +428,7 @@ are handled separately, because they contain underscores. @<Prepare \TeX\ format for scanner constants@>= #define _register_const_d(c_name) @[c_name##_desc.format = "\\constset{%s}{%d}%%\n"; \ c_name##_desc.name = #c_name; \ + c_name##_desc.value = c_name; \ output_desc.output_##c_name = 1;@] @<Scanner constants@>@; #undef _register_const_d |