diff options
Diffstat (limited to 'src/options/arith_options.toml')
| -rw-r--r-- | src/options/arith_options.toml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/options/arith_options.toml b/src/options/arith_options.toml index bb572688b..1d679e47a 100644 --- a/src/options/arith_options.toml +++ b/src/options/arith_options.toml @@ -512,10 +512,10 @@ header = "options/arith_options.h" help = "initial degree of polynomials for Taylor approximation" [[option]] - name = "nlExtTfIncPrecision" + name = "nlExtIncPrecision" category = "regular" - long = "nl-ext-tf-inc-prec" + long = "nl-ext-inc-prec" type = "bool" default = "true" read_only = true - help = "whether to increment the precision for transcendental function constraints" + help = "whether to increment the precision for irrational function constraints" |