From dba4d386fa6ae7bd8255f249574fbe0c0c85c88b Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 28 Mar 2022 09:49:32 -0700
Subject: [PATCH] Mark solve-bv-as-int as expert. (#8417)

Option not yet stable.
---
 src/options/smt_options.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml
index 4b84b4404..28b72a168 100644
--- a/src/options/smt_options.toml
+++ b/src/options/smt_options.toml
@@ -352,7 +352,7 @@ name   = "SMT Layer"
 
 [[option]]
   name       = "solveBVAsInt"
-  category   = "regular"
+  category   = "expert"
   long       = "solve-bv-as-int=MODE"
   type       = "SolveBVAsIntMode"
   default    = "OFF"
-- 
2.30.2