diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-05-11 00:22:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-10 22:22:24 +0000 |
commit | cd1f1c3f308b67fc4b8f006196e5bc1f366cc10d (patch) | |
tree | 407ec46e1f6bbeb29858f2fb06a204ecdec36685 /src/options/smt_options.toml | |
parent | d5987a99361f227cf2ea1404fec594f4a998be70 (diff) |
Remove header for option modules (#6514)
This PR further simplifies the option declaration by removing the header attribute from module options.
Instead of specifying it manually, it is now automatically generated from the filename of the toml file. The header files and the toml files use matching names already, so this PR simply removes another mechanism that is not used anyway.
This PR also does a minor cleanup of the Options class in the mkoptions.py script.
Diffstat (limited to 'src/options/smt_options.toml')
-rw-r--r-- | src/options/smt_options.toml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index 3d0cb6d8d..7328c44ad 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -1,6 +1,5 @@ id = "SMT" name = "SMT layer" -header = "options/smt_options.h" [[option]] name = "dumpModeString" |