From cd1f1c3f308b67fc4b8f006196e5bc1f366cc10d Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 11 May 2021 00:22:24 +0200 Subject: 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. --- src/options/uf_options.toml | 1 - 1 file changed, 1 deletion(-) (limited to 'src/options/uf_options.toml') 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" -- cgit v1.2.3