1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/rewriter_tables_template.h b/src/theory/rewriter_tables_template.h
index bd9b9575e..020ac1af6 100644
--- a/src/theory/rewriter_tables_template.h
+++ b/src/theory/rewriter_tables_template.h
@@ -26,7 +26,7 @@
 
 ${rewriter_includes}
 
-namespace CVC5 {
+namespace cvc5 {
 namespace theory {
 
 Node Rewriter::getPreRewriteCache(theory::TheoryId theoryId, TNode node) {
@@ -77,7 +77,7 @@ for (size_t i = 0; i < theory::THEORY_LAST; ++i)
 }
 
 void Rewriter::clearCachesInternal() {
-  typedef CVC5::expr::attr::AttributeUniqueId AttributeUniqueId;
+  typedef cvc5::expr::attr::AttributeUniqueId AttributeUniqueId;
   std::vector<AttributeUniqueId> preids;
   ${pre_rewrite_attribute_ids}
 
@@ -95,4 +95,4 @@ void Rewriter::clearCachesInternal() {
 }
 
 }  // namespace theory
-}  // namespace CVC5
+}  // namespace cvc5