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/module_template.h | |
| 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/module_template.h')
| -rw-r--r-- | src/options/module_template.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/options/module_template.h b/src/options/module_template.h index 559f4a5e4..b668a1e3f 100644 --- a/src/options/module_template.h +++ b/src/options/module_template.h @@ -18,8 +18,8 @@ #include "cvc5_private.h" -#ifndef CVC5__OPTIONS__${id}$_H -#define CVC5__OPTIONS__${id}$_H +#ifndef CVC5__OPTIONS__${id_cap}$_H +#define CVC5__OPTIONS__${id_cap}$_H #include "options/options.h" @@ -45,5 +45,5 @@ ${inls}$ } // namespace options } // namespace cvc5 -#endif /* CVC5__OPTIONS__${id}$_H */ +#endif /* CVC5__OPTIONS__${id_cap}$_H */ //clang-format on |