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/theory_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/theory_options.toml')
| -rw-r--r-- | src/options/theory_options.toml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/options/theory_options.toml b/src/options/theory_options.toml index a0f769684..0c4fa7aca 100644 --- a/src/options/theory_options.toml +++ b/src/options/theory_options.toml @@ -1,6 +1,5 @@ id = "THEORY" name = "Theory layer" -header = "options/theory_options.h" [[option]] name = "theoryOfMode" |