; * src/fns.c (fixnum_float_cmp): Don't use non-ASCII characters.

(cherry picked from commit 4b527088e66fe9f39ca4060cf1bc5918feb37c49)

diff --git a/src/fns.c b/src/fns.c
index eefc74b3b386b6fd33ff54cfab7ccad3e27cf5e9..cdee485961636abdd34311ecb1680a0e22395cc2 100644 (file)
--- a/src/fns.c
+++ b/src/fns.c
@@ -3041,7 +3041,7 @@ fixnum_float_cmp (EMACS_INT a, double b)
     {
       /* This doesn't mean that a=b because the conversion may have rounded.
         However, b must be an integer that fits in an EMACS_INT,
-        because |b| ≤ 2|a| and EMACS_INT has at least one bit more than
+        because |b| <= 2|a| and EMACS_INT has at least one bit more than
         needed to represent any fixnum.
         Thus we can compare in the integer domain instead.  */
       EMACS_INT ib = b;                /* lossless conversion */