1 files changed, 3 insertions, 2 deletions
diff --git a/examples/nra-translate/normalize.cpp b/examples/nra-translate/normalize.cpp
index 598055ea3..ac5780439 100644
--- a/examples/nra-translate/normalize.cpp
+++ b/examples/nra-translate/normalize.cpp
@@ -6,7 +6,7 @@
 #include <map>
 
 
-#include "util/options.h"
+#include "options/options.h"
 #include "expr/expr.h"
 #include "expr/command.h"
 #include "parser/parser.h"
@@ -16,6 +16,7 @@
 using namespace std;
 using namespace CVC4;
 using namespace CVC4::parser;
+using namespace CVC4::options;
 using namespace CVC4::theory;
 
 int main(int argc, char* argv[]) 
@@ -26,7 +27,7 @@ int main(int argc, char* argv[])
 
   // Create the expression manager
   Options options;
-  options.inputLanguage = language::input::LANG_SMTLIB_V2;
+  options.set(inputLanguage, language::input::LANG_SMTLIB_V2);
   ExprManager exprManager(options);
   
   cout << Expr::setlanguage(language::output::LANG_SMTLIB_V2) << Expr::setdepth(-1);