diff --git a/src/util/virpidfile.c b/src/util/virpidfile.c index 59d0c94033..d6235d2df9 100644 --- a/src/util/virpidfile.c +++ b/src/util/virpidfile.c @@ -316,9 +316,6 @@ cleanup: return rc; } - -verify(sizeof(pid_t) <= sizeof(unsigned int)); - int virPidFileAcquirePath(const char *path, pid_t pid) {