aboutsummaryrefslogtreecommitdiff
path: root/src/gui/debate.cc
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-04-03 02:16:23 +0000
committerdos-reis <gdr@axiomatics.org>2013-04-03 02:16:23 +0000
commite54671b3aa34f350c009c407042933b814fe220f (patch)
treec06d393ed2395071d714fe3062f086c758f7d993 /src/gui/debate.cc
parent1e979a3c60f7e79ee8aa3aef8f9d4bb354b17bc1 (diff)
downloadopen-axiom-e54671b3aa34f350c009c407042933b814fe220f.tar.gz
Fix up fallout from C++11 switch
Diffstat (limited to 'src/gui/debate.cc')
-rw-r--r--src/gui/debate.cc4
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("");
}