1 files changed, 8 insertions, 8 deletions
diff --git a/src/theory/arith/approx_simplex.cpp b/src/theory/arith/approx_simplex.cpp
index c911d03e9..8e75f6850 100644
--- a/src/theory/arith/approx_simplex.cpp
+++ b/src/theory/arith/approx_simplex.cpp
@@ -36,7 +36,7 @@
 
 using namespace std;
 
-namespace CVC5 {
+namespace cvc5 {
 namespace theory {
 namespace arith {
 
@@ -369,7 +369,7 @@ public:
 
 }  // namespace arith
 }  // namespace theory
-}  // namespace CVC5
+}  // namespace cvc5
 
 /* Begin the declaration of GLPK specific code. */
 #ifdef CVC4_USE_GLPK
@@ -377,7 +377,7 @@ extern "C" {
 #include <glpk.h>
 }/* extern "C" */
 
-namespace CVC5 {
+namespace cvc5 {
 namespace theory {
 namespace arith {
 
@@ -537,12 +537,12 @@ int ApproxGLPK::s_verbosity = 0;
 
 }  // namespace arith
 }  // namespace theory
-}  // namespace CVC5
+}  // namespace cvc5
 #endif /*#ifdef CVC4_USE_GLPK */
 /* End the declaration of GLPK specific code. */
 
 /* Begin GPLK/NOGLPK Glue code. */
-namespace CVC5 {
+namespace cvc5 {
 namespace theory {
 namespace arith {
 ApproximateSimplex* ApproximateSimplex::mkApproximateSimplexSolver(const ArithVariables& vars, TreeLog& l, ApproximateStatistics& s){
@@ -561,12 +561,12 @@ bool ApproximateSimplex::enabled() {
 }
 }  // namespace arith
 }  // namespace theory
-}  // namespace CVC5
+}  // namespace cvc5
 /* End GPLK/NOGLPK Glue code. */
 
 /* Begin GPLK implementation. */
 #ifdef CVC4_USE_GLPK
-namespace CVC5 {
+namespace cvc5 {
 namespace theory {
 namespace arith {
 
@@ -3176,6 +3176,6 @@ void ApproxGLPK::tryCut(int nid, CutInfo& cut)
 
 }  // namespace arith
 }  // namespace theory
-}  // namespace CVC5
+}  // namespace cvc5
 #endif /*#ifdef CVC4_USE_GLPK */
 /* End GPLK implementation. */