/* Initializes or reinitializes a buffer.
* This function is sometimes called more than once on the same buffer,
* such as during a yyrestart() or at EOF.
-diff -Nur flex-2.5.31.orig/skel.c flex-2.5.31/skel.c
---- flex-2.5.31.orig/skel.c 2003-06-19 00:31:34.000000000 +0200
-+++ flex-2.5.31/skel.c 2003-06-19 00:41:37.000000000 +0200
-@@ -2176,25 +2176,6 @@
- "}",
- "",
- "",
-- "%if-c-only",
-- "m4_ifdef( [[M4_YY_ALWAYS_INTERACTIVE]],,",
-- "[[",
-- " m4_ifdef( [[M4_YY_NEVER_INTERACTIVE]],,",
-- " [[",
-- "#ifndef __cplusplus",
-- "extern int isatty M4_YY_PARAMS( int );",
-- "#endif /* __cplusplus */",
-- " ]])",
-- "]])",
-- "%endif",
-- "",
-- "%if-c++-only",
-- "m4_ifdef( [[M4_YY_NEVER_INTERACTIVE]],,",
-- "[[",
-- "extern \"C\" int isatty M4_YY_PARAMS( int );",
-- "]])",
-- "%endif",
-- "",
- "/* Initializes or reinitializes a buffer.",
- " * This function is sometimes called more than once on the same buffer,",
- " * such as during a yyrestart() or at EOF.",