1 files changed, 16 insertions, 18 deletions
diff --git a/src/theory/arith/approx_simplex.cpp b/src/theory/arith/approx_simplex.cpp
index 8d98475ce..c911d03e9 100644
--- a/src/theory/arith/approx_simplex.cpp
+++ b/src/theory/arith/approx_simplex.cpp
@@ -36,7 +36,7 @@
 
 using namespace std;
 
-namespace CVC4 {
+namespace CVC5 {
 namespace theory {
 namespace arith {
 
@@ -367,9 +367,9 @@ public:
   double sumInfeasibilities(bool mip) const override { return 0.0; }
 };
 
-}/* CVC4::theory::arith namespace */
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
+}  // namespace arith
+}  // namespace theory
+}  // 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 CVC4 {
+namespace CVC5 {
 namespace theory {
 namespace arith {
 
@@ -535,14 +535,14 @@ private:
 
 int ApproxGLPK::s_verbosity = 0;
 
-}/* CVC4::theory::arith namespace */
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
+}  // namespace arith
+}  // namespace theory
+}  // namespace CVC5
 #endif /*#ifdef CVC4_USE_GLPK */
 /* End the declaration of GLPK specific code. */
 
 /* Begin GPLK/NOGLPK Glue code. */
-namespace CVC4 {
+namespace CVC5 {
 namespace theory {
 namespace arith {
 ApproximateSimplex* ApproximateSimplex::mkApproximateSimplexSolver(const ArithVariables& vars, TreeLog& l, ApproximateStatistics& s){
@@ -559,15 +559,14 @@ bool ApproximateSimplex::enabled() {
   return false;
 #endif
 }
-}/* CVC4::theory::arith namespace */
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
+}  // namespace arith
+}  // namespace theory
+}  // namespace CVC5
 /* End GPLK/NOGLPK Glue code. */
 
-
 /* Begin GPLK implementation. */
 #ifdef CVC4_USE_GLPK
-namespace CVC4 {
+namespace CVC5 {
 namespace theory {
 namespace arith {
 
@@ -3175,9 +3174,8 @@ void ApproxGLPK::tryCut(int nid, CutInfo& cut)
   }
 }
 
-
-}/* CVC4::theory::arith namespace */
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
+}  // namespace arith
+}  // namespace theory
+}  // namespace CVC5
 #endif /*#ifdef CVC4_USE_GLPK */
 /* End GPLK implementation. */