diff options
Diffstat (limited to 'support/splint/examples/ld/ldgramo.w')
-rw-r--r-- | support/splint/examples/ld/ldgramo.w | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/support/splint/examples/ld/ldgramo.w b/support/splint/examples/ld/ldgramo.w index 3069bb71eb..46d46f9a1f 100644 --- a/support/splint/examples/ld/ldgramo.w +++ b/support/splint/examples/ld/ldgramo.w @@ -1,4 +1,4 @@ -@q Copyright 2015 Alexander Shibakov@> +@q Copyright 2020 Alexander Shibakov@> @q Copyright 2002-2015 Free Software Foundation, Inc.@> @q This file is part of SPLinT@> @@ -504,7 +504,7 @@ statement_anywhere: @g @ \tracebadcharstrue -The \prodstyle{'*'} and \prodstyle{'?'} cases are there because the lexer returns them as +The {\setrulecontext{wildcardname}\prodstyle{'*'}} and \prodstyle{'?'} cases are there because the lexer returns them as separate tokens rather than as \prodstyle{NAME}. \tracebadcharsfalse @<Original \ld\ grammar rules@>= |