diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-29 17:48:46 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-29 17:48:46 +0000 |
commit | 4801f553640a7005eb26e89a1635f16669a13631 (patch) | |
tree | 8368cff83b51a6bfe0541962c8239b7e0d365d26 /src/main/command_executor.h | |
parent | 304bdf18169ab0070ddbd6d4c9ebea8be46314b1 (diff) |
Fix a few segfaults in driver.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/main/command_executor.h')
-rw-r--r-- | src/main/command_executor.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/command_executor.h b/src/main/command_executor.h index a5bd78abe..38a20b1cb 100644 --- a/src/main/command_executor.h +++ b/src/main/command_executor.h @@ -40,6 +40,8 @@ protected: public: CommandExecutor(ExprManager &exprMgr, Options &options); + virtual ~CommandExecutor() {} + /** * Executes a command. Recursively handles if cmd is a command * sequence. Eventually uses doCommandSingleton (which can be |