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/uf_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/uf_options.toml')
-rw-r--r-- | src/options/uf_options.toml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/options/uf_options.toml b/src/options/uf_options.toml index bd0027fb4..8b99493e1 100644 --- a/src/options/uf_options.toml +++ b/src/options/uf_options.toml @@ -1,6 +1,5 @@ id = "UF" name = "Uninterpreted functions theory" -header = "options/uf_options.h" [[option]] name = "ufSymmetryBreaker" |