From b8f8d12de38228845ab5cb822668dcd359c43581 Mon Sep 17 00:00:00 2001
From: sinanmohd <sinan@sinanmohd.com>
Date: Thu, 25 Jul 2024 08:26:37 +0530
Subject: evanix: mark --solver=highs as stable

---
 src/evanix.c | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

(limited to 'src')

diff --git a/src/evanix.c b/src/evanix.c
index 9f514c4..d7963ee 100644
--- a/src/evanix.c
+++ b/src/evanix.c
@@ -250,15 +250,8 @@ int opts_read(struct evanix_opts_t *opts, char **expr, int argc, char *argv[])
 		return -EINVAL;
 	}
 
-	if (opts->solver == solver_highs) {
-		if (opts->break_evanix == false) {
-			fprintf(stderr, "Running --solver=highs without "
-					"--break-evanix\n");
-			return -EINVAL;
-		}
-
+	if (opts->solver == solver_highs)
 		opts->ispipelined = false;
-	}
 
 	*expr = argv[optind];
 	return 0;
-- 
cgit v1.2.3