mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

display model-add parameters in correct order

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-11-19 18:44:52 +07:00
parent ba68652c72
commit c2e9016d04
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ast/converters/model_converter.cpp
View file

@ -26,7 +26,7 @@ Notes:
void model_converter::display_add(std::ostream& out, smt2_pp_environment& env, ast_manager& m, func_decl* f, expr* e) { void model_converter::display_add(std::ostream& out, smt2_pp_environment& env, ast_manager& m, func_decl* f, expr* e) {
VERIFY(e); VERIFY(e);
VERIFY(f->get_range() == e->get_sort()); VERIFY(f->get_range() == e->get_sort());
ast_smt2_pp(out, f, e, env, params_ref(), 0, "model-add") << "\n"; ast_smt2_pp(out, f, e, env, params_ref(), 0, "model-add", true) << "\n";
} }
void model_converter::display_add(std::ostream& out, ast_manager& m, func_decl* f, expr* e) const { void model_converter::display_add(std::ostream& out, ast_manager& m, func_decl* f, expr* e) const {