Mark solve-bv-as-int as expert. (#8417)

Option not yet stable.

diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml
index 4b84b4404bf5c1e97fe798af8363e872b0078846..28b72a168fa37ca9d566c75ec4a5e633d9ed20b5 100644 (file)
--- 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"