1 files changed, 3 insertions, 4 deletions
diff --git a/examples/nra-translate/smt2info.cpp b/examples/nra-translate/smt2info.cpp
index c541a23fe..7efb5c855 100644
--- a/examples/nra-translate/smt2info.cpp
+++ b/examples/nra-translate/smt2info.cpp
@@ -22,7 +22,6 @@
 #include <vector>
 
 #include "expr/expr.h"
-#include "options/base_options.h"
 #include "options/options.h"
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
@@ -78,13 +77,13 @@ int main(int argc, char* argv[])
 
     // Create the expression manager
     Options options;
-    options.set(inputLanguage, language::input::LANG_SMTLIB_V2);
+    options.setInputLanguage(language::input::LANG_SMTLIB_V2);
     ExprManager exprManager(options);
-  
+
     // Create the parser
     ParserBuilder parserBuilder(&exprManager, input, options);
     Parser* parser = parserBuilder.build();
-  
+
     // Variables and assertions
     vector<string> variables;
     vector<string> info_tags;