From 5b1f83a676b9133e4420e2a9c6c6392eb159e444 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 21 Mar 2014 14:48:01 -0700 Subject: [PATCH] improved SLS Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/pb_rewriter_def.h | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/ast/rewriter/pb_rewriter_def.h b/src/ast/rewriter/pb_rewriter_def.h index e57f80277..38efd2097 100644 --- a/src/ast/rewriter/pb_rewriter_def.h +++ b/src/ast/rewriter/pb_rewriter_def.h @@ -141,7 +141,8 @@ lbool pb_rewriter_util::normalize(typename PBU::args_t& args, typename PBU: for (unsigned i = 0; i < args.size(); ++i) { args[i].second = PBU::numeral::one(); } - k = PBU::numeral(args.size()); + typename PBU::numeral num(args.size()); + k = num; return l_undef; } @@ -184,7 +185,8 @@ lbool pb_rewriter_util::normalize(typename PBU::args_t& args, typename PBU: for (unsigned i = 0; i < args.size(); ++i) { args[i].second = PBU::numeral::one(); } - k = PBU::numeral(args.size()); + typename PBU::numeral num(args.size()); + k = num; } // apply cutting plane reduction: