mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-30 09:58:46 +00:00
Code Activity

Merge branch 'interp' of https://git01.codeplex.com/z3 into interp

Browse source
This commit is contained in:
Ken McMillan 2013-06-07 16:17:16 -07:00
commit a6d61e3404
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/duality/duality_wrapper.h
View file

@ -679,7 +679,7 @@ namespace Duality {
return *this; return *this;
} }
expr eval(expr const & n, bool model_completion=false) const { expr eval(expr const & n, bool model_completion=true) const {
::model * _m = m_model.get(); ::model * _m = m_model.get();
expr_ref result(ctx().m()); expr_ref result(ctx().m());
_m->eval(n, result, model_completion); _m->eval(n, result, model_completion);