1 files changed, 1 insertions, 1 deletions
diff --git a/src/timefns.c b/src/timefns.c
index 7d8ecd36407..86b2425dbe1 100644
--- a/src/timefns.c
+++ b/src/timefns.c
@@ -105,7 +105,7 @@ trillion_factor (Lisp_Object hz)
      if (!FIXNUM_OVERFLOW_P (TRILLION))
        return false;
    }
-  verify (TRILLION <= INTMAX_MAX);
+  static_assert (TRILLION <= INTMAX_MAX);
  intmax_t ihz;
  return integer_to_intmax (hz, &ihz) && TRILLION % ihz == 0;
 }

diff --git a/src/timefns.c b/src/timefns.c index 7d8ecd36407..86b2425dbe1 100644 --- a/src/timefns.c +++ b/src/timefns.c
@@ -105,7 +105,7 @@ trillion_factor (Lisp_Object hz)
105	if (!FIXNUM_OVERFLOW_P (TRILLION))	105	if (!FIXNUM_OVERFLOW_P (TRILLION))
106	return false;	106	return false;
107	}	107	}
108	verify (TRILLION <= INTMAX_MAX);	108	static_assert (TRILLION <= INTMAX_MAX);
109	intmax_t ihz;	109	intmax_t ihz;
110	return integer_to_intmax (hz, &ihz) && TRILLION % ihz == 0;	110	return integer_to_intmax (hz, &ihz) && TRILLION % ihz == 0;
111	}	111	}