diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-01 12:08:02 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-01 12:08:02 -0700 |
| commit | 149134dfdb5a435ae4d1bea1a93ae3bde28fd646 (patch) | |
| tree | 691f3ef98a01160363069badd046577289046228 /src/main/interactive_shell.cpp | |
| parent | c85d906d4fc8da9e31d96804ccbf6d52ec22cdd5 (diff) | |
InteractiveShell: Remove redundant options argument. (#2244)
Diffstat (limited to 'src/main/interactive_shell.cpp')
| -rw-r--r-- | src/main/interactive_shell.cpp | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/main/interactive_shell.cpp b/src/main/interactive_shell.cpp index 473f7b039..f1220b961 100644 --- a/src/main/interactive_shell.cpp +++ b/src/main/interactive_shell.cpp @@ -88,14 +88,13 @@ static set<string> s_declarations; #endif /* HAVE_LIBREADLINE */ -InteractiveShell::InteractiveShell(ExprManager& exprManager, - const Options& options) - : d_in(*options.getIn()), - d_out(*options.getOutConst()), - d_options(options), +InteractiveShell::InteractiveShell(ExprManager& exprManager) + : d_options(exprManager.getOptions()), + d_in(*d_options.getIn()), + d_out(*d_options.getOutConst()), d_quit(false) { - ParserBuilder parserBuilder(&exprManager, INPUT_FILENAME, options); + ParserBuilder parserBuilder(&exprManager, INPUT_FILENAME, d_options); /* Create parser with bogus input. */ d_parser = parserBuilder.withStringInput("").build(); if(d_options.wasSetByUserForceLogicString()) { |