diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2018-10-10 23:30:58 -0500 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-10-10 23:30:58 -0500 |
commit | 1d1d1908f7929f0bf3532d7d6bf09103e400cc4f (patch) | |
tree | fc337c146e56163946558ceeb1732d8094f2b06b /src/options/quantifiers_options.toml | |
parent | 0da5ede58934b3a30944e32835698e84626f4c0a (diff) |
Fix default setting of CegisUnif options (#2605)
Diffstat (limited to 'src/options/quantifiers_options.toml')
-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 c844a197d..2e5252529 100644 --- a/src/options/quantifiers_options.toml +++ b/src/options/quantifiers_options.toml @@ -994,7 +994,7 @@ header = "options/quantifiers_options.h" [[option]] name = "sygusUnifCondIndNoRepeatSol" category = "regular" - long = "sygus-unif-cond-indpendent-no-repeat-sol" + long = "sygus-unif-cond-independent-no-repeat-sol" type = "bool" default = "true" help = "Do not try repeated solutions when using independent synthesis of conditions in unification-based function synthesis" |