lint tweak

diff --git a/scan.l b/scan.l
index bb4faaaad11b16d0ac2632229d4e26d77a765a3a..5f14ac308b34c5772d8b3a34a0d7ff9192046bcc 100644 (file)
--- a/scan.l
+++ b/scan.l
@@ -159,7 +159,7 @@ LEXOPT              [aceknopr]
        [[:digit:]]+    linenum = myctoi( yytext );
 
        \"[^"\n]*\"     {
-                       flex_free( infilename );
+                       flex_free( (void *) infilename );
                        infilename = copy_string( yytext + 1 );
                        infilename[strlen( infilename ) - 1] = '\0';
                        }