mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 11:42:28 +00:00
Code Activity

fix typo in my previous commit

Browse source 
Signed-off-by: Nuno Lopes <t-nclaud@microsoft.com>
This commit is contained in:
Nuno Lopes 2013-05-15 13:33:42 -07:00
parent 5efdc58194
commit 100e396618
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/muz_qe/dl_mk_bit_blast.cpp
View file

@ -283,7 +283,7 @@ namespace datalog {
// copy output predicates without any rule (bit-blasting not really needed) // copy output predicates without any rule (bit-blasting not really needed)
const func_decl_set& decls = source.get_output_predicates(); const func_decl_set& decls = source.get_output_predicates();
for (func_decl_set::iterator I = decls.begin(), E = decls.end(); I != E; ++I) { for (func_decl_set::iterator I = decls.begin(), E = decls.end(); I != E; ++I) {
if (!result->contains(*I)) if (!source.contains(*I))
result->set_output_predicate(*I); result->set_output_predicate(*I);
} }