diff options
Diffstat (limited to 'src/options/module_template.cpp')
-rw-r--r-- | src/options/module_template.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/module_template.cpp b/src/options/module_template.cpp index 105ab94f8..c05017c70 100644 --- a/src/options/module_template.cpp +++ b/src/options/module_template.cpp @@ -19,7 +19,7 @@ #include "base/check.h" // clang-format off -namespace CVC5 { +namespace cvc5 { ${accs}$ @@ -31,5 +31,5 @@ ${defs}$ ${modes}$ } // namespace options -} // namespace CVC5 +} // namespace cvc5 // clang-format on |