lint tweak

diff --git a/flex.skl b/flex.skl
index 2dd5df87eb4d143e20eb8b92f0119d6d72cd6c6a..85c5c0d01ae5286fadad8b80d9d584b4f433956d 100644 (file)
--- a/flex.skl
+++ b/flex.skl
@@ -1003,7 +1003,7 @@ char msg[];
 #endif
        {
 %-
-       fprintf( stderr, "%s\n", msg );
+       (void) fprintf( stderr, "%s\n", msg );
 %+
        cerr << msg << '\n';
 %*