From 0d668e14289c0728b65bbcc214749ac865297507 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 30 May 2018 03:18:22 -0700 Subject: [PATCH] fix #1661 Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/pb2bv_rewriter.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ast/rewriter/pb2bv_rewriter.cpp b/src/ast/rewriter/pb2bv_rewriter.cpp index e4a34fc93..3862aecae 100644 --- a/src/ast/rewriter/pb2bv_rewriter.cpp +++ b/src/ast/rewriter/pb2bv_rewriter.cpp @@ -357,8 +357,8 @@ struct pb2bv_rewriter::imp { /** \brief MiniSat+ based encoding of PB constraints. - The procedure is described in "Translating Pseudo-Boolean Constraints into SAT " -         Niklas Een, Niklas Sörensson, JSAT 2006. + Translating Pseudo-Boolean Constraints into SAT, + Niklas Een, Niklas Soerensson, JSAT 2006. */