From e375be767d56505e705f276f055b88ec6e96ccdf Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 3 May 2016 07:20:20 -0700 Subject: [PATCH 1/2] remove apostrophe, issue #582 Signed-off-by: Nikolaj Bjorner --- src/util/mpf.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp index 1bf968cdd..2c664d3ae 100644 --- a/src/util/mpf.cpp +++ b/src/util/mpf.cpp @@ -1231,9 +1231,9 @@ void mpf_manager::rem(mpf const & x, mpf const & y, mpf & o) { else if (is_zero(x)) set(o, x); else { - // This is a generalized version of the algorithm for FPREM1 in the `Intel + // This is a generalized version of the algorithm for FPREM1 in the Intel // 64 and IA-32 Architectures Software Developer’s Manual', - // Section 3-402 Vol. 2A `FPREM1-Partial Remainder'. + // Section 3-402 Vol. 2A FPREM1-Partial Remainder'. scoped_mpf ST0(*this), ST1(*this); set(ST0, x); set(ST1, y); From 6895cc7cc6698421b33028280f93a467b92710dc Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 3 May 2016 07:21:15 -0700 Subject: [PATCH 2/2] remove apostrophe, issue #582 Signed-off-by: Nikolaj Bjorner --- src/util/mpf.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp index 2c664d3ae..de215c958 100644 --- a/src/util/mpf.cpp +++ b/src/util/mpf.cpp @@ -1232,7 +1232,7 @@ void mpf_manager::rem(mpf const & x, mpf const & y, mpf & o) { set(o, x); else { // This is a generalized version of the algorithm for FPREM1 in the Intel - // 64 and IA-32 Architectures Software Developer’s Manual', + // 64 and IA-32 Architectures Software Developer's Manual', // Section 3-402 Vol. 2A FPREM1-Partial Remainder'. scoped_mpf ST0(*this), ST1(*this); set(ST0, x);