diff options
Diffstat (limited to 'src/options/theory_options.toml')
-rw-r--r-- | src/options/theory_options.toml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/options/theory_options.toml b/src/options/theory_options.toml index 13c3d5cfb..84c994c3f 100644 --- a/src/options/theory_options.toml +++ b/src/options/theory_options.toml @@ -19,17 +19,6 @@ header = "options/theory_options.h" help = "Type variables as uninterpreted, type constants by theory, equalities by the parametric theory." [[option]] - name = "useTheoryList" - smt_name = "use-theory" - category = "regular" - long = "use-theory=NAME" - type = "std::string" - handler = "handleUseTheoryList" - notifies = ["notifyUseTheoryList"] - read_only = true - help = "use alternate theory implementation NAME (--use-theory=help for a list). This option may be repeated or a comma separated list." - -[[option]] name = "assignFunctionValues" category = "regular" long = "assign-function-values" |