From 4801f553640a7005eb26e89a1635f16669a13631 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 29 Sep 2012 17:48:46 +0000
Subject: Fix a few segfaults in driver.

(this commit was certified error- and warning-free by the test-and-commit script.)
---
 src/main/command_executor.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/main/command_executor.h')

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
-- 
cgit v1.2.3