diff options
Diffstat (limited to 'support/splint/examples/xxpression/xymmap.sty')
-rw-r--r-- | support/splint/examples/xxpression/xymmap.sty | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/support/splint/examples/xxpression/xymmap.sty b/support/splint/examples/xxpression/xymmap.sty index d38d23ca9b..e5576ee9cd 100644 --- a/support/splint/examples/xxpression/xymmap.sty +++ b/support/splint/examples/xxpression/xymmap.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 @@ -19,7 +19,7 @@ \def\makesymbols{% \restorecslist{symbols}\yyunion \toksa{}\toksb{}\toksc{}\toksd{}% - \the\symstream + \the\table \global\newsymswitch\newsymswitch } @@ -109,7 +109,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 |