From 064c9faf116b8bcfb4600feee6b36dad0f3fe1c0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 6 Feb 2019 20:13:21 +0100 Subject: [PATCH] fix test Signed-off-by: Nikolaj Bjorner --- src/test/cnf_backbones.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/cnf_backbones.cpp b/src/test/cnf_backbones.cpp index 10f3e56a7..9db15c304 100644 --- a/src/test/cnf_backbones.cpp +++ b/src/test/cnf_backbones.cpp @@ -90,7 +90,7 @@ static void track_clauses(sat::solver const& src, sat::clause * const * it = src.begin_clauses(); sat::clause * const * end = src.end_clauses(); svector bin_clauses; - src.collect_bin_clauses(bin_clauses, false); + src.collect_bin_clauses(bin_clauses, false, false); tracking_clauses.reserve(2*src.num_vars() + static_cast(end - it) + bin_clauses.size()); for (sat::bool_var v = 1; v < src.num_vars(); ++v) {