Using Options in ParserBuilder and InteractiveShell

1 files changed, 5 insertions, 5 deletions

diff --git a/src/main/interactive_shell.h b/src/main/interactive_shell.h
index 6bd9db295..66c134ecd 100644
--- a/src/main/interactive_shell.h
+++ b/src/main/interactive_shell.h
@@ -21,6 +21,7 @@
 #include <string>
 
 #include "parser/parser_builder.h"
+#include "util/options.h"
 
 namespace CVC4 {
 
@@ -34,11 +35,10 @@ class InteractiveShell {
   ParserBuilder d_parserBuilder;
 
 public:
-  InteractiveShell(std::istream& in, 
-                   std::ostream& out, 
-                   ParserBuilder& parserBuilder) : 
-    d_in(in),
-    d_out(out),
+  InteractiveShell(ParserBuilder& parserBuilder,
+                  const Options& options) : 
+    d_in(*options.in),
+    d_out(*options.out),
     d_parserBuilder(parserBuilder) {
   }