yy_delete_buffer allows nil buffer pointer

diff --git a/flex.skl b/flex.skl
index 8b408fe01e7ffdddc9b567aa6165520c9f89c639..431b408d3705ebbb8294193b458c673a64b8cc1d 100644 (file)
--- a/flex.skl
+++ b/flex.skl
@@ -1150,6 +1150,9 @@ YY_BUFFER_STATE b;
 void yyFlexLexer::yy_delete_buffer( YY_BUFFER_STATE b )
 %*
        {
+       if ( ! b )
+               return;
+
        if ( b == yy_current_buffer )
                yy_current_buffer = (YY_BUFFER_STATE) 0;