summaryrefslogtreecommitdiff
path: root/src/options/arith_options.toml
diff options
context:
space:
mode:
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>2018-05-23 07:00:40 -0500
committerGitHub <noreply@github.com>2018-05-23 07:00:40 -0500
commit8de9510b8aa818f555294ebe88d9733cc10ff8b9 (patch)
treedd4fae3e483be9d9ec0176f3122d58b0df957389 /src/options/arith_options.toml
parent4576b47b4acbae79c0ea76ebdc103f4c3155c4ab (diff)
Generalize check-model in NonLinearExtension for quadratic equations (#1892)
Diffstat (limited to 'src/options/arith_options.toml')
-rw-r--r--src/options/arith_options.toml6
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"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback