diff options
Diffstat (limited to 'tool/ytab.sed')
-rwxr-xr-x | tool/ytab.sed | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tool/ytab.sed b/tool/ytab.sed index 92f8218202..17a57fe494 100755 --- a/tool/ytab.sed +++ b/tool/ytab.sed @@ -5,7 +5,7 @@ i\ a\ #endif } -/^yydestruct/,/#endif/{ +/^yydestruct.*yymsg/,/#endif/{ /^yydestruct/{ /parser/!{ h |