Rename namespace CVC5 to cvc5. (#6258)

2 files changed, 12 insertions, 12 deletions

diff --git a/src/prop/bvminisat/simp/SimpSolver.cc b/src/prop/bvminisat/simp/SimpSolver.cc
index b4f9bd354..96ab5b526 100644
--- a/src/prop/bvminisat/simp/SimpSolver.cc
+++ b/src/prop/bvminisat/simp/SimpSolver.cc
@@ -27,7 +27,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #include "prop/bvminisat/mtl/Sort.h"
 #include "prop/bvminisat/utils/System.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace BVMinisat {
 
 //=================================================================================================
@@ -48,7 +48,7 @@ static DoubleOption opt_simp_garbage_frac(_cat, "simp-gc-frac", "The fraction of
 //=================================================================================================
 // Constructor/Destructor:
 
-SimpSolver::SimpSolver(CVC5::context::Context* context)
+SimpSolver::SimpSolver(cvc5::context::Context* context)
     : Solver(context),
       grow(opt_grow),
       clause_lim(opt_clause_lim),
@@ -57,9 +57,9 @@ SimpSolver::SimpSolver(CVC5::context::Context* context)
       use_asymm(opt_use_asymm),
       use_rcheck(opt_use_rcheck),
       use_elim(opt_use_elim
-               && CVC5::options::bitblastMode()
-                      == CVC5::options::BitblastMode::EAGER
-               && !CVC5::options::produceModels()),
+               && cvc5::options::bitblastMode()
+                      == cvc5::options::BitblastMode::EAGER
+               && !cvc5::options::produceModels()),
       merges(0),
       asymm_lits(0),
       eliminated_vars(0),
@@ -94,7 +94,7 @@ SimpSolver::SimpSolver(CVC5::context::Context* context)
 
 SimpSolver::~SimpSolver()
 {
-  //  CVC5::StatisticsRegistry::unregisterStat(&total_eliminate_time);
+  //  cvc5::StatisticsRegistry::unregisterStat(&total_eliminate_time);
 }
 
 
@@ -644,7 +644,7 @@ void SimpSolver::extendModel()
 
 bool SimpSolver::eliminate(bool turn_off_elim)
 {
-  //  CVC5::TimerStat::CodeTimer codeTimer(total_eliminate_time);
+  //  cvc5::TimerStat::CodeTimer codeTimer(total_eliminate_time);
 
   if (!simplify())
     return false;
@@ -809,4 +809,4 @@ void SimpSolver::garbageCollect()
 }
 
 }  // namespace BVMinisat
-}  // namespace CVC5
+}  // namespace cvc5
diff --git a/src/prop/bvminisat/simp/SimpSolver.h b/src/prop/bvminisat/simp/SimpSolver.h
index 6afdc6ba7..b103243d3 100644
--- a/src/prop/bvminisat/simp/SimpSolver.h
+++ b/src/prop/bvminisat/simp/SimpSolver.h
@@ -26,7 +26,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #include "prop/bvminisat/core/Solver.h"
 #include "prop/bvminisat/mtl/Queue.h"
 
-namespace CVC5 {
+namespace cvc5 {
 
 namespace context {
 class Context;
@@ -41,7 +41,7 @@ class SimpSolver : public Solver {
  public:
     // Constructor/Destructor:
     //
-  SimpSolver(CVC5::context::Context* context);
+  SimpSolver(cvc5::context::Context* context);
   ~SimpSolver();
 
   // Problem specification:
@@ -115,7 +115,7 @@ class SimpSolver : public Solver {
     int     merges;
     int     asymm_lits;
     int     eliminated_vars;
-    //    CVC5::TimerStat total_eliminate_time;
+    //    cvc5::TimerStat total_eliminate_time;
 
    protected:
 
@@ -238,6 +238,6 @@ inline lbool SimpSolver::solveLimited (bool do_simp, bool turn_off_simp){
 
 //=================================================================================================
 }  // namespace BVMinisat
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif