Rename namespace CVC5 to cvc5. (#6258)

[cvc5.git] / src / theory / arith / nl / transcendental / exponential_solver.h

diff --git a/src/theory/arith/nl/transcendental/exponential_solver.h b/src/theory/arith/nl/transcendental/exponential_solver.h
index 8bd00c456b59d1b07c384b0d3af2a0c71f10be51..c5eb45728b8fbdb6d861c5f09e767a163a8409a0 100644 (file)
--- a/src/theory/arith/nl/transcendental/exponential_solver.h
+++ b/src/theory/arith/nl/transcendental/exponential_solver.h
@@ -19,7 +19,7 @@
 
 #include "expr/node.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace theory {
 namespace arith {
 namespace nl {
@@ -108,6 +108,6 @@ class ExponentialSolver
 }  // namespace nl
 }  // namespace arith
 }  // namespace theory
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__THEORY__ARITH__TRANSCENDENTAL_SOLVER_H */