Get rid of a warning on Windows terencehill/warning_removal
authorterencehill <piuntn@gmail.com>
Fri, 23 Jun 2017 14:21:22 +0000 (16:21 +0200)
committerterencehill <piuntn@gmail.com>
Fri, 23 Jun 2017 14:21:22 +0000 (16:21 +0200)
util.cpp

index ead50dd..fa18d04 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