Merge branch 'master' of https://github.com/Z3Prover/z3 into new-ml-api

Z3Prover · May 3, 2016 · 107f50d · 107f50d
2 parents 140f0bb + 6895cc7
commit 107f50d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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
-        // 64 and IA-32 Architectures Software Developers Manual',
-        // Section 3-402 Vol. 2A `FPREM1-Partial Remainder'.
+        // 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'.
         scoped_mpf ST0(*this), ST1(*this);
         set(ST0, x);
         set(ST1, y);