From 546d905feb3804201b15e284e4d119a72892bb1f Mon Sep 17 00:00:00 2001 From: Nikolaos Chatzikonstantinou Date: Fri, 9 Aug 2024 04:39:31 -0400 Subject: [PATCH] Update flex.texi --- doc/flex.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/flex.texi b/doc/flex.texi index 6eaf53eac..00d24011c 100755 --- a/doc/flex.texi +++ b/doc/flex.texi @@ -4561,7 +4561,7 @@ void scan_file( char* filename ) in = fopen( filename, "r" ); stat( filename, &buf ); - yylex_init_extra( buf, &scanner ); + yylex_init_extra( &buf, &scanner ); yyset_in( in, scanner ); yylex( scanner ); yylex_destroy( scanner );