diff options
Diffstat (limited to 'src/gui')
| -rw-r--r-- | src/gui/debate.cc | 4 | ||||
| -rw-r--r-- | src/gui/gui.pro.in | 2 |
2 files changed, 3 insertions, 3 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(""); } diff --git a/src/gui/gui.pro.in b/src/gui/gui.pro.in index cf2cce1e..a87715c2 100644 --- a/src/gui/gui.pro.in +++ b/src/gui/gui.pro.in @@ -38,4 +38,4 @@ LIBS += $$OA_LIB ## C++ compiler #QMAKE_CXX = @CXX@ -#QMAKE_CXXFLAGS += @CXXFLAGS@ +QMAKE_CXXFLAGS += -std=c++11 |