diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-05-17 19:08:51 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-17 17:08:51 +0000 |
commit | 01dd4f1aadcfc05f26f2ca00bd8afaa5c63ecb6c (patch) | |
tree | d2c77339fa57a227c12591ef25c14e634f73ac35 /src/options/decision_options.toml | |
parent | eed22b44b92d14be51f82e4871c926dee79eaf3a (diff) |
Replace smt_name by aliases (#6541)
This PR replaces the confusing co-existence of long and smt_name for options by long and a list of alias.
Diffstat (limited to 'src/options/decision_options.toml')
-rw-r--r-- | src/options/decision_options.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/decision_options.toml b/src/options/decision_options.toml index d8c8a15b6..b3d18aebf 100644 --- a/src/options/decision_options.toml +++ b/src/options/decision_options.toml @@ -3,7 +3,7 @@ name = "Decision heuristics" [[option]] name = "decisionMode" - smt_name = "decision-mode" + alias = ["decision-mode"] category = "regular" long = "decision=MODE" type = "DecisionMode" |