X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata-in.h;h=450e10d2edb53e4a9620e2bea110d0a0364e8065;hb=b2f22a54346df45ab24d83e1228700649f62d63c;hp=c520920522838d4e3b82f90521251ff675eefd75;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/data-in.h b/src/data-in.h
index c520920522..450e10d2ed 100644
--- a/src/data-in.h
+++ b/src/data-in.h
@@ -20,6 +20,7 @@
 #if !data_in_h
 #define data_in_h 1
 
+#include <stddef.h>
 #include "format.h"
 
 /* Flags. */
@@ -46,14 +47,4 @@ int data_in (struct data_in *);
 void data_in_finite_line (struct data_in *di, const char *line, size_t len,
 			  int fc, int lc);
 
-#if __GNUC__ >= 2
-extern inline void
-data_in_finite_line (struct data_in *di, const char *line, size_t len,
-		     int fc, int lc)
-{
-  di->s = line + ((size_t) fc <= len ? fc - 1 : len);
-  di->e = line + ((size_t) lc <= len ? lc : len);
-}
-#endif /* GNU C */
-
 #endif /* data-in.h */