/* libmain - flex run-time support library "main" function */

#ifndef lint
static char rcsid[] = "$Id: libmain.c,v 1.3 1993/08/02 17:46:32 mycroft Exp $";
#endif /* not lint */

extern int yylex();

int main( argc, argv )
int argc;
char *argv[];

    {
    return yylex();
    }