Minor

ajreynol · Feb 24, 2025 · aefda23 · aefda23
1 parent a225d21
commit aefda23
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/options/quantifiers_options.toml b/src/options/quantifiers_options.toml
@@ -44,7 +44,7 @@ name   = "Quantifiers"
 
 [[option]]
   name       = "prenexQuant"
-  category   = "regular"
+  category   = "expert"
   long       = "prenex-quant=MODE"
   type       = "PrenexQuantMode"
   default    = "SIMPLE"