summaryrefslogtreecommitdiff
path: root/src/options
diff options
context:
space:
mode:
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>2018-04-25 09:53:41 -0500
committerGitHub <noreply@github.com>2018-04-25 09:53:41 -0500
commitdbc501933c7e77fc61dcf6092050d3bb67ba5a49 (patch)
treeb2181bdeae7dcdb27c8f0b4b517209f6f684132b /src/options
parentd7bc8b2759d7b657c52d379db62cf049861be579 (diff)
Remove nl solve subs option. (#1803)
Diffstat (limited to 'src/options')
-rw-r--r--src/options/arith_options.toml9
1 files changed, 0 insertions, 9 deletions
diff --git a/src/options/arith_options.toml b/src/options/arith_options.toml
index 4f68d1689..1cccf0884 100644
--- a/src/options/arith_options.toml
+++ b/src/options/arith_options.toml
@@ -478,15 +478,6 @@ header = "options/arith_options.h"
help = "do rewrites in non-linear solver"
[[option]]
- name = "nlExtSolveSubs"
- category = "regular"
- long = "nl-ext-solve-subs"
- type = "bool"
- default = "false"
- read_only = true
- help = "do solving for determining constant substitutions"
-
-[[option]]
name = "nlExtPurify"
category = "regular"
long = "nl-ext-purify"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback