diff options
Diffstat (limited to 'src/prop/prop_engine.h')
-rw-r--r-- | src/prop/prop_engine.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h index 707244ff5..f1d73fc92 100644 --- a/src/prop/prop_engine.h +++ b/src/prop/prop_engine.h @@ -24,7 +24,6 @@ #include <sys/time.h> #include "base/modal_exception.h" -#include "expr/expr_stream.h" #include "expr/node.h" #include "options/options.h" #include "preprocessing/assertion_pipeline.h" @@ -62,9 +61,7 @@ class PropEngine */ PropEngine(TheoryEngine*, context::Context* satContext, - context::UserContext* userContext, - std::ostream* replayLog, - ExprStream* replayStream); + context::UserContext* userContext); /** * Destructor. |