diff options
Diffstat (limited to 'src/main/command_executor.cpp')
-rw-r--r-- | src/main/command_executor.cpp | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp index 9db704621..323f24492 100644 --- a/src/main/command_executor.cpp +++ b/src/main/command_executor.cpp @@ -53,8 +53,7 @@ CommandExecutor::CommandExecutor(Options& options) d_smtEngine(d_solver->getSmtEngine()), d_options(options), d_stats("driver"), - d_result(), - d_replayStream(nullptr) + d_result() { } @@ -72,12 +71,6 @@ void CommandExecutor::safeFlushStatistics(int fd) const d_stats.safeFlushInformation(fd); } -void CommandExecutor::setReplayStream(ExprStream* replayStream) { - assert(d_replayStream == NULL); - d_replayStream = replayStream; - d_smtEngine->setReplayStream(d_replayStream); -} - bool CommandExecutor::doCommand(Command* cmd) { if( d_options.getParseOnly() ) { |