use delete [] for yy_state_buf

diff --git a/flex.skl b/flex.skl
index ebe0c6fa79ea519e7b75804c18b9f0bbc68e20ef..0cb566cf17b52775cf39ae19c326e4908026621d 100644 (file)
--- a/flex.skl
+++ b/flex.skl
@@ -677,7 +677,7 @@ yyFlexLexer::yyFlexLexer( istream* arg_yyin, ostream* arg_yyout )
 
 yyFlexLexer::~yyFlexLexer()
        {
-       delete yy_state_buf;
+       delete [] yy_state_buf;
        yy_delete_buffer( yy_current_buffer );
        }