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)
commit27c0886ffbd1065183f21bc94c95234641fe9932
treee81a6641cb9d890eeeedd38e5cbb1f1d46e2e277
parent163c4b99a4bef8746fc9d3caa8dc6c54c11d4955
Get rid of a warning on Windows
util.cpp