X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ffseeko.c;h=97dcf6da05c9ebfea0d02d97ea22f95f0dca59e1;hb=b41a41b698a82d0777fdc20bad8904ae65439338;hp=6d55ec8b12d6194efa4b92969f8e3d5e1d8cf6b8;hpb=a4da9fe973e790bfbf2008d1f50445d22a024efa;p=pspp

diff --git a/lib/fseeko.c b/lib/fseeko.c
index 6d55ec8b12..97dcf6da05 100644
--- a/lib/fseeko.c
+++ b/lib/fseeko.c
@@ -27,9 +27,6 @@
 #if !HAVE_FSEEKO
 # undef fseek
 # define fseeko fseek
-
-# include <verify.h>
-verify (sizeof (off_t) == sizeof (long));
 #endif
 
 int