MBQI is regular

ajreynol · Feb 24, 2025 · e80fb7e · e80fb7e
1 parent fa74810
commit e80fb7e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/options/quantifiers_options.toml b/src/options/quantifiers_options.toml
@@ -202,7 +202,7 @@ name   = "Quantifiers"
 
 [[option]]
   name       = "mbqi"
-  category   = "expert"
+  category   = "regular"
   long       = "mbqi"
   type       = "bool"
   default    = "false"