diff options
Diffstat (limited to 'src/options/module_template.h')
-rw-r--r-- | src/options/module_template.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/options/module_template.h b/src/options/module_template.h index 219775dd6..722490948 100644 --- a/src/options/module_template.h +++ b/src/options/module_template.h @@ -71,6 +71,13 @@ namespace options { ${inls}$ // clang-format on +namespace ${id}$ +{ +// clang-format off +${defaults}$ +// clang-format on +} + } // namespace options } // namespace cvc5 |