diff options
Diffstat (limited to 'lib/filevercmp.c')
| -rw-r--r-- | lib/filevercmp.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/filevercmp.c b/lib/filevercmp.c index 7e54793e613..844505a6bf7 100644 --- a/lib/filevercmp.c +++ b/lib/filevercmp.c @@ -20,11 +20,9 @@ #include <config.h> #include "filevercmp.h" -#include <stdbool.h> #include <c-ctype.h> #include <limits.h> #include <idx.h> -#include <verify.h> /* Return the length of a prefix of S that corresponds to the suffix defined by this extended regular expression in the C locale: @@ -75,7 +73,7 @@ order (char const *s, idx_t pos, idx_t len) return -2; else { - verify (UCHAR_MAX <= (INT_MAX - 1 - 2) / 2); + static_assert (UCHAR_MAX <= (INT_MAX - 1 - 2) / 2); return c + UCHAR_MAX + 1; } } |