flex-yymore-fix.patch

   1 --- flex-2.5.31/gen.c.orig      2003-03-30 21:58:44.000000000 +0200
   2 +++ flex-2.5.31/gen.c   2003-06-28 01:43:57.000000000 +0200
   3 @@ -1812,9 +1812,8 @@
   4                         if (yytext_is_array) {
   5                                 if (!reentrant){
   6                                 indent_puts ("static int yy_more_offset = 0;");
   7 -                }else{
   8 -                    indent_puts ("static int yy_prev_more_offset = 0;");
   9 -                }
  10 +                               indent_puts ("static int yy_prev_more_offset = 0;");
  11 +                               }
  12                         }
  13                         else if (!reentrant) {
  14                                 indent_puts