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