1 files changed, 3 insertions, 2 deletions
diff --git a/examples/hashsmt/word.cpp b/examples/hashsmt/word.cpp
index 46687db14..d1b8e2fef 100644
--- a/examples/hashsmt/word.cpp
+++ b/examples/hashsmt/word.cpp
@@ -10,6 +10,7 @@
 using namespace std;
 using namespace hashsmt;
 using namespace CVC4;
+using namespace CVC4::options;
 
 Expr Word::extendToSize(unsigned newSize) const {
   if (newSize <= size()) {
@@ -26,8 +27,8 @@ ExprManager* Word::s_manager = 0;
 ExprManager* Word::em() {
   if (s_manager == 0) {
     CVC4::Options options;
-    options.inputLanguage = language::input::LANG_SMTLIB_V2;
-    options.outputLanguage = language::output::LANG_SMTLIB_V2;
+    options.set(inputLanguage, language::input::LANG_SMTLIB_V2);
+    options.set(outputLanguage, language::output::LANG_SMTLIB_V2);
     s_manager = new CVC4::ExprManager(options);
   }
   return s_manager;