mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

fix a one-too-many in my previous commit

Browse source 
Signed-off-by: Nuno Lopes <t-nclaud@microsoft.com>
This commit is contained in:
Nuno Lopes 2013-05-17 12:17:35 -07:00
parent d1999b3424
commit aea667d09b
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/aig_exporter.cpp
View file

@ -48,7 +48,7 @@ namespace datalog {
}
void aig_exporter::mk_latch_vars(unsigned n) {
for (int i = m_latch_vars.size() - 1; i <= (int)n; ++i) {
for (unsigned i = m_latch_vars.size(); i <= n; ++i) {
m_latch_vars.push_back(m.mk_fresh_const("latch_var", m.mk_bool_sort()));
m_latch_varsp.push_back(m.mk_fresh_const("latch_varp", m.mk_bool_sort()));
}