diff options
Diffstat (limited to 'src/theory/inference_manager_buffered.cpp')
-rw-r--r-- | src/theory/inference_manager_buffered.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/inference_manager_buffered.cpp b/src/theory/inference_manager_buffered.cpp index 42fe40faf..534d59aeb 100644 --- a/src/theory/inference_manager_buffered.cpp +++ b/src/theory/inference_manager_buffered.cpp @@ -27,9 +27,9 @@ namespace theory { InferenceManagerBuffered::InferenceManagerBuffered(Theory& t, TheoryState& state, ProofNodeManager* pnm, - const std::string& name, + const std::string& statsName, bool cacheLemmas) - : TheoryInferenceManager(t, state, pnm, name, cacheLemmas), + : TheoryInferenceManager(t, state, pnm, statsName, cacheLemmas), d_processingPendingLemmas(false) { } |