From aea667d09bdac18dc244bc03a4f1b2301f5a34a8 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Fri, 17 May 2013 12:17:35 -0700 Subject: [PATCH] fix a one-too-many in my previous commit Signed-off-by: Nuno Lopes --- src/muz_qe/aig_exporter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz_qe/aig_exporter.cpp b/src/muz_qe/aig_exporter.cpp index c82ff7245..1d6ef3633 100755 --- a/src/muz_qe/aig_exporter.cpp +++ b/src/muz_qe/aig_exporter.cpp @@ -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())); }