diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-01 17:14:06 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-01 17:14:06 -0700 |
| commit | 5ae076e726a013039c8392277437902600359b17 (patch) | |
| tree | 3c840960cdf0199d9f7fe78fafaf2f8e79365c39 /src/smt/check_models.cpp | |
| parent | b1582722951f6925d3422ec21906d24f5c8cdfc0 (diff) | |
| parent | 351fe43811e35f04ced22ca459fa31f7dd94937f (diff) | |
Merge branch 'master' into macos11macos11
Diffstat (limited to 'src/smt/check_models.cpp')
| -rw-r--r-- | src/smt/check_models.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/check_models.cpp b/src/smt/check_models.cpp index 0bc7ce99b..d3a2dfefa 100644 --- a/src/smt/check_models.cpp +++ b/src/smt/check_models.cpp @@ -18,13 +18,13 @@ #include "base/modal_exception.h" #include "options/smt_options.h" #include "smt/env.h" -#include "smt/model.h" #include "smt/node_command.h" #include "smt/preprocessor.h" #include "smt/smt_solver.h" #include "theory/rewriter.h" #include "theory/substitutions.h" #include "theory/theory_engine.h" +#include "theory/theory_model.h" using namespace cvc5::theory; @@ -34,7 +34,7 @@ namespace smt { CheckModels::CheckModels(Env& e) : d_env(e) {} CheckModels::~CheckModels() {} -void CheckModels::checkModel(Model* m, +void CheckModels::checkModel(TheoryModel* m, context::CDList<Node>* al, bool hardFailure) { |