1 files changed, 1 insertions, 1 deletions

diff --git a/tools/solvetest.h b/tools/solvetest.h
index 3c9badc..8c93d21 100644
--- a/tools/solvetest.h
+++ b/tools/solvetest.h
@@ -130,7 +130,7 @@ int main(int argc, char **argv) {
                 printf("Using user-specified solver %s\n", solver);
         }
 
-        srand(time(NULL));
+        srand((unsigned)time(NULL));
         nissy_setlogger(log_stderr, NULL);
 
         size = nissy_solverinfo(solver, dataid);