diff options
| -rw-r--r-- | shell/shell.c | 7 |
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 | } |
