mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

fixed gcc compilation error

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-11-13 09:26:01 -08:00
parent b335661d5a
commit 3e8d3db290
1 changed files with 2 additions and 1 deletions

3
src/muz_qe/pdr_context.cpp
View file

@ -383,7 +383,8 @@ namespace pdr {
fi->set_else(result);
md->register_decl(m_head, fi);
}
apply(ctx.get_model_converter(), md, 0);
model_converter_ref mc = ctx.get_model_converter();
apply(mc, md, 0);
if (p_orig->get_arity() == 0) {
result = md->get_const_interp(p_orig);
}