undef yytext_ptr has some bad side effects

diff --git a/flex.skl b/flex.skl
index 7764f3ea145d23737cf53b9b6ef7de05d8d6dce4..614e9ae451921a0ec9e733e8daa92504dd3d13df 100644 (file)
--- a/flex.skl
+++ b/flex.skl
@@ -3282,7 +3282,6 @@ int main ()
 #undef yy_set_bol
 #undef yy_new_buffer
 #undef yy_set_interactive
-#undef yytext_ptr
 #undef YY_DO_BEFORE_ACTION
 
 #ifdef YY_DECL_IS_OURS