1 files changed, 1 insertions, 0 deletions

diff --git a/embed.pl b/embed.pl
index 9e05b1b984..b403e57a38 100755
--- a/embed.pl
+++ b/embed.pl
@@ -2094,6 +2094,7 @@ p	|int	|yylex		|YYSTYPE *lvalp|int *lcharp
 #else
 p	|int	|yylex
 #endif
+sp	|int	|syylex
 p	|int	|yyparse
 p	|int	|yywarn		|char* s
 #if defined(MYMALLOC)