Get rid of a warning on Windows

diff --git a/util.cpp b/util.cpp
index ead50dda137a18e3e5ae67b85601a34d9cf867f7..fa18d04c9857ceba78c7cbfbd3e1ad6e09e6d24b 100644 (file)
--- a/util.cpp
+++ b/util.cpp
@@ -670,6 +670,7 @@ bool util_isatty(FILE *file) {
 }
 #else
 bool util_isatty(FILE *file) {
+    (void)file;
     return false;
 }
 #endif