diff options
Diffstat (limited to 'src/main/command_executor.h')
-rw-r--r-- | src/main/command_executor.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/main/command_executor.h b/src/main/command_executor.h index bf34df579..1f08d44a7 100644 --- a/src/main/command_executor.h +++ b/src/main/command_executor.h @@ -35,9 +35,6 @@ namespace main { class CommandExecutor { - private: - std::string d_lastStatistics; - protected: /** * The solver object, which is allocated by this class and is used for |