diff options
Diffstat (limited to 'src/global.h')
| -rw-r--r-- | src/global.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/global.h b/src/global.h index c024dce2..5fa67d2c 100644 --- a/src/global.h +++ b/src/global.h @@ -99,11 +99,11 @@ public: void report_error(const std::exception& err); + void execute_command(strings_list args, bool at_repl); /** * @return \c true if a command was actually executed; otherwise, it probably * just resulted in setting some options. */ - void execute_command(strings_list args, bool at_repl); int execute_command_wrapper(strings_list args, bool at_repl); value_t push_command(call_scope_t&) { |