aboutsummaryrefslogtreecommitdiff
path: root/shell/shell.c
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--shell/shell.c7
1 files changed, 5 insertions, 2 deletions
diff --git a/shell/shell.c b/shell/shell.c
index 1fa854f..a9a1bc7 100644
--- a/shell/shell.c
+++ b/shell/shell.c
@@ -282,9 +282,12 @@ solverinfo_exec(args_t *args)
282 char buf[NISSY_SIZE_DATAID]; 282 char buf[NISSY_SIZE_DATAID];
283 283
284 ret = nissy_solverinfo(args->str_solver, buf); 284 ret = nissy_solverinfo(args->str_solver, buf);
285 if (ret < 0) 285 if (ret < 0) {
286 fprintf(stderr, "Unknown error (make sure solver is valid)\n"); 286 fprintf(stderr, "Unknown error (make sure solver is valid)\n");
287 printf("%" PRId64 "\n%s\n", ret, buf); 287 } else {
288 printf("%" PRId64 "\n%s\n", ret, buf);
289 ret = 0;
290 }
288 291
289 return ret; 292 return ret;
290} 293}

Generated with cgit - Back to sebastiano.tronto.net