1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/interactive_shell.cpp b/src/main/interactive_shell.cpp
index 516f9e621..8ca10799f 100644
--- a/src/main/interactive_shell.cpp
+++ b/src/main/interactive_shell.cpp
@@ -91,9 +91,9 @@ InteractiveShell::InteractiveShell(api::Solver* solver, SymbolManager* sm)
       d_out(*d_options.getOutConst()),
       d_quit(false)
 {
-  ParserBuilder parserBuilder(solver, sm, INPUT_FILENAME, d_options);
+  ParserBuilder parserBuilder(solver, sm, d_options);
   /* Create parser with bogus input. */
-  d_parser = parserBuilder.withStringInput("").build();
+  d_parser = parserBuilder.build();
   if(d_options.wasSetByUserForceLogicString()) {
     LogicInfo tmp(d_options.getForceLogicString());
     d_parser->forceLogic(tmp.getLogicString());