# MutantHub mutant #2665: Relational operator mutation at field_5x52_impl.h:23
# Repository: bitcoin-core/secp256k1 @ a39093de15345a330fc8acbd09515fd150853bc8
# File: src/field_5x52_impl.h:23-23
# Review: APPROVED; outcome: KILLED
--- a/src/field_5x52_impl.h
+++ b/src/field_5x52_impl.h
@@ -23,1 +23,1 @@
-    VERIFY_CHECK(d[1] <= 0xFFFFFFFFFFFFFULL * m);
+    VERIFY_CHECK(d[1] < 0xFFFFFFFFFFFFFULL * m);