4 files changed, 16 insertions, 16 deletions
diff --git a/examples/hashsmt/sha1_collision.cpp b/examples/hashsmt/sha1_collision.cpp
index 6fa7954ea..0545ce048 100644
--- a/examples/hashsmt/sha1_collision.cpp
+++ b/examples/hashsmt/sha1_collision.cpp
@@ -34,7 +34,7 @@
 #include "word.h"
 
 using namespace std;
-using namespace CVC5;
+using namespace cvc5;
 
 hashsmt::cvc4_uchar8 *createInput(unsigned size, std::string prefix, std::ostream& output) {
   hashsmt::cvc4_uchar8 *input = new hashsmt::cvc4_uchar8[size];
@@ -102,7 +102,7 @@ int main(int argc, char* argv[]) {
     delete[] cvc4input1;
     delete[] cvc4input2;
   }
-  catch (CVC5::Exception& e)
+  catch (cvc5::Exception& e)
   {
     cerr << e << endl;
   }
diff --git a/examples/hashsmt/sha1_inversion.cpp b/examples/hashsmt/sha1_inversion.cpp
index 957f9225e..a4acfc3c6 100644
--- a/examples/hashsmt/sha1_inversion.cpp
+++ b/examples/hashsmt/sha1_inversion.cpp
@@ -43,7 +43,7 @@
 #include "word.h"
 
 using namespace std;
-using namespace CVC5;
+using namespace cvc5;
 
 int main(int argc, char* argv[]) {
 
@@ -105,7 +105,7 @@ int main(int argc, char* argv[]) {
     // Checksat command
     output << CheckSatCommand() << endl;
   }
-  catch (CVC5::Exception& e)
+  catch (cvc5::Exception& e)
   {
     cerr << e << endl;
   }
diff --git a/examples/hashsmt/word.cpp b/examples/hashsmt/word.cpp
index 5fd5b7979..79b868d1c 100644
--- a/examples/hashsmt/word.cpp
+++ b/examples/hashsmt/word.cpp
@@ -33,8 +33,8 @@
 
 using namespace std;
 using namespace hashsmt;
-using namespace CVC5;
-using namespace CVC5::options;
+using namespace cvc5;
+using namespace cvc5::options;
 
 Expr Word::extendToSize(unsigned newSize) const {
   if (newSize <= size()) {
@@ -50,10 +50,10 @@ ExprManager* Word::s_manager = 0;
 
 ExprManager* Word::em() {
   if (s_manager == 0) {
-    CVC5::Options options;
+    cvc5::Options options;
     options.setInputLanguage(language::input::LANG_SMTLIB_V2);
     options.setOutputLanguage(language::output::LANG_SMTLIB_V2);
-    s_manager = new CVC5::ExprManager(options);
+    s_manager = new cvc5::ExprManager(options);
   }
   return s_manager;
 }
@@ -71,7 +71,7 @@ Word Word::concat(const Word words[], unsigned size) {
 }
 
 void Word::print(ostream& out) const {
-  out << CVC5::expr::ExprSetDepth(-1) << d_expr;
+  out << cvc5::expr::ExprSetDepth(-1) << d_expr;
 }
 
 Word::Word(unsigned newSize, unsigned value) {
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);