diff options
Diffstat (limited to 'src/options/prop_options.toml')
| -rw-r--r-- | src/options/prop_options.toml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/options/prop_options.toml b/src/options/prop_options.toml index 9cddc9470..69dad8d63 100644 --- a/src/options/prop_options.toml +++ b/src/options/prop_options.toml @@ -3,7 +3,7 @@ name = "SAT layer" [[option]] name = "satRandomFreq" - smt_name = "random-frequency" + alias = ["random-frequency"] category = "regular" long = "random-freq=P" type = "double" @@ -13,7 +13,6 @@ name = "SAT layer" [[option]] name = "satRandomSeed" - smt_name = "random-seed" category = "regular" long = "random-seed=S" type = "uint32_t" |