From 3772ffc372bcca1230857c16a5177c0059faa9c4 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 25 Sep 2018 13:27:59 -0700
Subject: [PATCH] cmake: configure.sh wrapper: Removed unused option --gmp.

---
 configure.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/configure.sh b/configure.sh
index 16764dd8a..0740ce396 100755
--- a/configure.sh
+++ b/configure.sh
@@ -50,7 +50,6 @@ The following options configure parameterized features.
 Optional Packages:
 The following flags enable optional packages (disable with --no-<option name>).
   --cln                    use CLN instead of GMP
-  --gmp                    use GMP instead of CLN
   --glpk                   use GLPK simplex solver
   --abc                    use the ABC AIG library
   --cadical                use the CaDiCaL SAT solver
-- 
2.30.2