Rename namespace CVC5 to cvc5. (#6258)

1 files changed, 7 insertions, 7 deletions

diff --git a/examples/hashsmt/word.h b/examples/hashsmt/word.h
index 4a1d142f4..f5b95ba32 100644
--- a/examples/hashsmt/word.h
+++ b/examples/hashsmt/word.h
@@ -35,20 +35,20 @@ namespace hashsmt {
 class Word {
 
   /** Expression managaer we're using for all word expressions */
-  static CVC5::ExprManager* s_manager;
+  static cvc5::ExprManager* s_manager;
 
  protected:
 
   /** The expression of this word */
-  CVC5::Expr d_expr;
+  cvc5::Expr d_expr;
 
   /** Get the expression manager words are using */
-  static CVC5::ExprManager* em();
+  static cvc5::ExprManager* em();
 
-  Word(CVC5::Expr expr = CVC5::Expr()) : d_expr(expr) {}
+  Word(cvc5::Expr expr = cvc5::Expr()) : d_expr(expr) {}
 
   /** Extend the representing expression to the given size >= size() */
-  CVC5::Expr extendToSize(unsigned size) const;
+  cvc5::Expr extendToSize(unsigned size) const;
 
  public:
 
@@ -70,10 +70,10 @@ class Word {
 
   void print(std::ostream& out) const;
 
-  CVC5::Expr getExpr() const { return d_expr; }
+  cvc5::Expr getExpr() const { return d_expr; }
 
   /** Returns the comparison expression */
-  CVC5::Expr operator==(const Word& b) const;
+  cvc5::Expr operator==(const Word& b) const;
 
   /** Concatenate the given words */
   static Word concat(const Word words[], unsigned size);