2 files changed, 4 insertions, 3 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;
diff --git a/examples/hashsmt/word.h b/examples/hashsmt/word.h
index 6195d0699..50fdee0c0 100644
--- a/examples/hashsmt/word.h
+++ b/examples/hashsmt/word.h
@@ -13,7 +13,7 @@
 
 #include "expr/expr.h"
 #include "expr/expr_manager.h"
-#include "util/options.h"
+#include "options/options.h"
 
 namespace hashsmt {