1 files changed, 7 insertions, 1 deletions
diff --git a/test/unit/expr/node_black.h b/test/unit/expr/node_black.h
index 7d6ee523a..3a24057b2 100644
--- a/test/unit/expr/node_black.h
+++ b/test/unit/expr/node_black.h
@@ -25,6 +25,7 @@
 #include "expr/node_builder.h"
 #include "expr/node_manager.h"
 #include "expr/node.h"
+#include "smt/smt_options_handler.h"
 
 using namespace CVC4;
 using namespace CVC4::kind;
@@ -34,6 +35,7 @@ class NodeBlack : public CxxTest::TestSuite {
 private:
 
   Options opts;
+  smt::SmtOptionsHandler* d_handler;
   NodeManager* d_nodeManager;
   NodeManagerScope* d_scope;
   TypeNode* d_booleanType;
@@ -42,10 +44,13 @@ private:
 public:
 
   void setUp() {
+#warning "TODO: Discuss the effects of this change with Clark."
+    d_handler = new smt::SmtOptionsHandler(NULL);
+
     char *argv[2];
     argv[0] = strdup("");
     argv[1] = strdup("--output-language=ast");
-    opts.parseOptions(2, argv);
+    opts.parseOptions(2, argv, d_handler);
     free(argv[0]);
     free(argv[1]);
 
@@ -59,6 +64,7 @@ public:
     delete d_booleanType;
     delete d_scope;
     delete d_nodeManager;
+    delete d_handler;
   }
 
   bool imp(bool a, bool b) const {