diff options
Diffstat (limited to 'src/options')
| -rw-r--r-- | src/options/quantifiers_options.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/quantifiers_options.toml b/src/options/quantifiers_options.toml index 00059bba6..4398711b7 100644 --- a/src/options/quantifiers_options.toml +++ b/src/options/quantifiers_options.toml @@ -1717,7 +1717,7 @@ header = "options/quantifiers_options.h" category = "regular" long = "quant-dsplit-mode=MODE" type = "CVC4::theory::quantifiers::QuantDSplitMode" - default = "CVC4::theory::quantifiers::QUANT_DSPLIT_MODE_NONE" + default = "CVC4::theory::quantifiers::QUANT_DSPLIT_MODE_DEFAULT" handler = "stringToQuantDSplitMode" includes = ["options/quantifiers_modes.h"] help = "mode for dynamic quantifiers splitting" |