Rename namespace CVC5 to cvc5. (#6258)

[cvc5.git] / src / expr / symbol_table.cpp

diff --git a/src/expr/symbol_table.cpp b/src/expr/symbol_table.cpp
index 3942f3775d8143829db0c4d718eab130cfea8e48..1c513fea4d7fcd6b51151ea27e5295a19bbf1381 100644 (file)
--- a/src/expr/symbol_table.cpp
+++ b/src/expr/symbol_table.cpp
@@ -28,11 +28,11 @@
 #include "context/cdhashset.h"
 #include "context/context.h"
 
-namespace CVC4 {
+namespace cvc5 {
 
-using ::CVC4::context::CDHashMap;
-using ::CVC4::context::CDHashSet;
-using ::CVC4::context::Context;
+using ::cvc5::context::CDHashMap;
+using ::cvc5::context::CDHashSet;
+using ::cvc5::context::Context;
 using ::std::copy;
 using ::std::endl;
 using ::std::ostream_iterator;
@@ -679,4 +679,4 @@ size_t SymbolTable::getLevel() const { return d_implementation->getLevel(); }
 void SymbolTable::reset() { d_implementation->reset(); }
 void SymbolTable::resetAssertions() { d_implementation->resetAssertions(); }
 
-}  // namespace CVC4
+}  // namespace cvc5