diff options
Diffstat (limited to 'src/options/module_template.cpp')
| -rw-r--r-- | src/options/module_template.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/options/module_template.cpp b/src/options/module_template.cpp index c79656e4b..bc953b952 100644 --- a/src/options/module_template.cpp +++ b/src/options/module_template.cpp @@ -33,6 +33,14 @@ ${defs}$ ${modes}$ + +namespace ${id}$ +{ +// clang-format off +${defaults}$ +// clang-format on +} + } // namespace options } // namespace cvc5 // clang-format on |