diff options
| -rw-r--r-- | src/evanix.c | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/evanix.c b/src/evanix.c index 293c8fe..80a5b25 100644 --- a/src/evanix.c +++ b/src/evanix.c @@ -250,10 +250,14 @@ int opts_read(struct evanix_opts_t *opts, char **expr, int argc, char *argv[]) return -EINVAL; } - if (opts->solver == solver_highs && !opts->break_evanix) { - fprintf(stderr, - "Running --solver=highs without --break-evanix\n"); - return -EINVAL; + if (opts->solver == solver_highs) { + if (opts->break_evanix == false) { + fprintf(stderr, "Running --solver=highs without " + "--break-evanix\n"); + return -EINVAL; + } + + opts->ispipelined = false; } *expr = argv[optind]; |