diff options
Diffstat (limited to 'src/theory/model_manager_distributed.h')
| -rw-r--r-- | src/theory/model_manager_distributed.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/theory/model_manager_distributed.h b/src/theory/model_manager_distributed.h index 1a79eec9a..322e61a98 100644 --- a/src/theory/model_manager_distributed.h +++ b/src/theory/model_manager_distributed.h @@ -22,9 +22,6 @@ #include "theory/model_manager.h" namespace cvc5 { - -class TheoryEngine; - namespace theory { /** @@ -41,7 +38,7 @@ namespace theory { class ModelManagerDistributed : public ModelManager { public: - ModelManagerDistributed(TheoryEngine& te, EqEngineManager& eem); + ModelManagerDistributed(TheoryEngine& te, Env& env, EqEngineManager& eem); ~ModelManagerDistributed(); /** Prepare the model, as described above. */ |