Undo last lib/fflush.c commit.

[gnulib.git] / lib / fflush.c

diff --git a/lib/fflush.c b/lib/fflush.c
index 3b17655..9f75ccd 100644 (file)
--- a/lib/fflush.c
+++ b/lib/fflush.c
@@ -63,12 +63,6 @@ clear_ungetc_buffer (FILE *fp)
     }
 # elif defined _IOERR               /* AIX, HP-UX, IRIX, OSF/1, Solaris, OpenServer, mingw */
   /* Nothing to do.  */
-# elif defined __MINT__             /* Atari FreeMiNT */
-  if (fp->__pushed_back)
-    {
-      fp->__bufp = fp->__pushback_bufp;
-      fp->__pushed_back = 0;
-    }
 # else                              /* other implementations */
   fseek (fp, 0, SEEK_CUR);
 # endif