diff options
Diffstat (limited to 'src/options/options_template.cpp')
| -rw-r--r-- | src/options/options_template.cpp | 19 |
1 files changed, 6 insertions, 13 deletions
diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp index 06a423438..c6f24a41d 100644 --- a/src/options/options_template.cpp +++ b/src/options/options_template.cpp @@ -16,21 +16,12 @@ #include "options/options.h" #include "base/check.h" -#include "base/exception.h" -#include "base/output.h" -#include "options/language.h" +#include "base/cvc5config.h" #include "options/options_handler.h" #include "options/options_listener.h" // clang-format off ${headers_module}$ - -#include "base/cvc5config.h" - -${headers_handler}$ - -using namespace cvc5; -using namespace cvc5::options; // clang-format on namespace cvc5 @@ -49,13 +40,15 @@ ${holder_ref_inits}$ Options::~Options() {} -void Options::copyValues(const Options& options){ - if(this != &options) { + void Options::copyValues(const Options& options) + { + if (this != &options) + { // clang-format off ${holder_mem_copy}$ // clang-format on + } } -} } // namespace cvc5 |