From e375be767d56505e705f276f055b88ec6e96ccdf Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 3 May 2016 07:20:20 -0700 Subject: [PATCH] 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);