1 files changed, 5 insertions, 4 deletions

diff --git a/tools/solvetest.h b/tools/solvetest.h
index f9087b7..4c72ca5 100644
--- a/tools/solvetest.h
+++ b/tools/solvetest.h
@@ -122,12 +122,13 @@ int main(int argc, char **argv) {
         char filename[7+NISSY_SIZE_DATAID], dataid[NISSY_SIZE_DATAID];
 
         if (argc < 2) {
-                printf("Error: not enough arguments. "
-                    "A solver must be given.\n");
-                return 1;
+                solver = SOLVER;
+                printf("No solver given, using default %s\n", solver);
+        } else {
+                solver = argv[1];
+                printf("Using user-specified solver %s\n", solver);
         }
 
-        solver = argv[1];
         srand(time(NULL));
         nissy_setlogger(log_stderr, NULL);