changeset 39635:c6144b4dc5c1

(Fbyte_code): Use MOST_POSITIVE_FIXNUM.
author Gerd Moellmann <gerd@gnu.org>
date Sat, 06 Oct 2001 23:37:52 +0000
parents 4baf64844f9c
children 2f7a8752b11b
files src/bytecode.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/bytecode.c	Sat Oct 06 23:36:22 2001 +0000
+++ b/src/bytecode.c	Sat Oct 06 23:37:52 2001 +0000
@@ -699,7 +699,7 @@
 		v1 = TOP;
 		v2 = Fget (v1, Qbyte_code_meter);
 		if (INTEGERP (v2)
-		    && XINT (v2) != ((1<<VALBITS)-1))
+		    && XINT (v2) < MOST_POSITIVE_FIXNUM)
 		  {
 		    XSETINT (v2, XINT (v2) + 1);
 		    Fput (v1, Qbyte_code_meter, v2);