addressed a warning

MarkusRabe · May 22, 2018 · f70ecf4 · f70ecf4
1 parent 7bd6720
commit f70ecf4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main.c b/src/main.c
@@ -108,7 +108,7 @@ int main(int argc, const char* argv[]) {
                         print_usage(argv[0]);
                         return 1;
                     }
-                    options->hard_decision_limit = (int) strtol(argv[i+1], NULL, 0);
+                    options->hard_decision_limit = (unsigned) strtol(argv[i+1], NULL, 0);
                     assert(options->hard_decision_limit < 10000000);
                     i++;
                     break;