From 100e396618cef0f836304b24a15572d21146c46c Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Wed, 15 May 2013 13:33:42 -0700 Subject: [PATCH] fix typo in my previous commit Signed-off-by: Nuno Lopes --- src/muz_qe/dl_mk_bit_blast.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz_qe/dl_mk_bit_blast.cpp b/src/muz_qe/dl_mk_bit_blast.cpp index 136b8ffae..271003fff 100644 --- a/src/muz_qe/dl_mk_bit_blast.cpp +++ b/src/muz_qe/dl_mk_bit_blast.cpp @@ -283,7 +283,7 @@ namespace datalog { // copy output predicates without any rule (bit-blasting not really needed) const func_decl_set& decls = source.get_output_predicates(); 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); }