1993-03-21 12:45:37 +03:00
|
|
|
/* libmain - flex run-time support library "main" function */
|
|
|
|
|
1993-08-02 21:38:43 +04:00
|
|
|
#ifndef lint
|
|
|
|
static char rcsid[] = "$Id: libmain.c,v 1.3 1993/08/02 17:46:32 mycroft Exp $";
|
|
|
|
#endif /* not lint */
|
1993-03-21 12:45:37 +03:00
|
|
|
|
|
|
|
extern int yylex();
|
|
|
|
|
|
|
|
int main( argc, argv )
|
|
|
|
int argc;
|
|
|
|
char *argv[];
|
|
|
|
|
|
|
|
{
|
|
|
|
return yylex();
|
|
|
|
}
|