Rename namespace CVC5 to cvc5. (#6258)

1 files changed, 9 insertions, 9 deletions

diff --git a/src/theory/bv/bv_inequality_graph.cpp b/src/theory/bv/bv_inequality_graph.cpp
index 67554525a..27063ea7a 100644
--- a/src/theory/bv/bv_inequality_graph.cpp
+++ b/src/theory/bv/bv_inequality_graph.cpp
@@ -18,15 +18,15 @@
 #include "theory/bv/theory_bv_utils.h"
 
 using namespace std;
-using namespace CVC5;
-using namespace CVC5::context;
-using namespace CVC5::theory;
-using namespace CVC5::theory::bv;
-using namespace CVC5::theory::bv::utils;
-
-const TermId CVC5::theory::bv::UndefinedTermId = -1;
-const ReasonId CVC5::theory::bv::UndefinedReasonId = -1;
-const ReasonId CVC5::theory::bv::AxiomReasonId = -2;
+using namespace cvc5;
+using namespace cvc5::context;
+using namespace cvc5::theory;
+using namespace cvc5::theory::bv;
+using namespace cvc5::theory::bv::utils;
+
+const TermId cvc5::theory::bv::UndefinedTermId = -1;
+const ReasonId cvc5::theory::bv::UndefinedReasonId = -1;
+const ReasonId cvc5::theory::bv::AxiomReasonId = -2;
 
 bool InequalityGraph::addInequality(TNode a, TNode b, bool strict, TNode reason) {
   Debug("bv-inequality") << "InequalityGraph::addInequality " << a << " " << b << " strict: " << strict << "\n";