From 14be1f183033e86d392e8fa7f45fdacf681583ba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?FEL=C5=A0=C3=96CI=20Marek?= <marek.felsoci@inria.fr>
Date: Mon, 6 Nov 2023 04:51:00 +0100
Subject: [PATCH] Fix typo
---
src/main.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main.c b/src/main.c
index b35a8ac..1bd85b2 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");
--
GitLab