diff options
Diffstat (limited to 'support/splint/examples/symbols/symmap.sty')
-rw-r--r-- | support/splint/examples/symbols/symmap.sty | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/support/splint/examples/symbols/symmap.sty b/support/splint/examples/symbols/symmap.sty index 450dd9a649..0a4afbc50a 100644 --- a/support/splint/examples/symbols/symmap.sty +++ b/support/splint/examples/symbols/symmap.sty @@ -1,4 +1,4 @@ -% Copyright 2012-2020, Alexander Shibakov +% Copyright 2012-2022, Alexander Shibakov % This file is part of SPLinT % % SPLinT is free software: you can redistribute it and/or modify @@ -25,7 +25,7 @@ \restorecslist{symbols}\yyunion \toksa{}\toksb{}\toksc{}\toksd{}% %\showthe\newsymswitch - \the\symstream + \the\table \global\newsymswitch\newsymswitch \else \newsymswitch{}% otherwise \yysymswitch is trying to expand the wrong names (\namepair is not present to do \csname ... ) @@ -118,7 +118,6 @@ \ifyyparsefail \errmessage{could not process symbols}% \else - \symstream\table \tointermediateparser % the parsing is finished, so we have two very long strings: % o the rules of the hosted parser ([intermediate]) % o the rules of the same parser just parsed |