diff --git a/src/main.c b/src/main.c index b35a8aca71e7a6ca3e089006f1d35bbf786f33c0..1bd85b25ab924e19fd0568af95d6a6baa3d0592f 100644 --- a/src/main.c +++ b/src/main.c @@ -174,7 +174,7 @@ int main(int argc, char **argv) { printf("[minisolver] batch input file = %s\n", batch_input); printf("[minisolver] batch output file = %s\n", batch_output); - printf("[minisolver] runnin test batch ... "); + printf("[minisolver] running test batch ... "); ierr = run_batch(); CHKERRQ(ierr); printf("done\n");