diff options
Diffstat (limited to 'src/gui/debate.cc')
| -rw-r--r-- | src/gui/debate.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/debate.cc b/src/gui/debate.cc index 68d4ee3f..b09d80a5 100644 --- a/src/gui/debate.cc +++ b/src/gui/debate.cc @@ -43,9 +43,9 @@ namespace OpenAxiom { args << "--" << "--role=server"; for (int i = 1; i < cmd.core.argc; ++i) args << cmd.core.argv[i]; - conv->oracle()->start(make_path_for(cmd.root_dir, core_driver), args); + conv->oracle()->start(make_path_for(cmd.root_dir, Driver::core), args); // When invoked in a --role=server mode, OpenAxiom would - // wait to be pinged before displayed a prompt. This is + // wait to be pinged before displaying a prompt. This is // an unfortunate result of a rather awkward hack. conv->submit_query(""); } |