xfclose (yyout);
}
outname = xstrdup (file_name);
+ output_file_name_check (file_name);
yyout = xfopen (outname, "w");
lineno = 1;
}
skel__flex_debug = trace_flag & trace_skeleton;
skel_lex ();
/* Reclaim Flex's buffers. */
- yy_delete_buffer (YY_CURRENT_BUFFER);
+ yylex_destroy ();
}