Index: libmpdemux/demux_audio.c
===================================================================
RCS file: /cvsroot/mplayer/main/libmpdemux/demux_audio.c,v
retrieving revision 1.27
diff -u -r1.27 demux_audio.c
--- libmpdemux/demux_audio.c	5 Sep 2004 22:10:59 -0000	1.27
+++ libmpdemux/demux_audio.c	15 Sep 2004 13:53:10 -0000
@@ -373,7 +438,7 @@
   priv = demuxer->priv;
 
   if(priv->frmt == MP3 && hr_mp3_seek && !(flags & 2)) {
-    if(isinf(priv->last_pts)) priv->last_pts=0;
+    if(!finite(priv->last_pts)) priv->last_pts=0;
     len = (flags & 1) ? rel_seek_secs - priv->last_pts : rel_seek_secs;
     if(len < 0) {
       stream_seek(s,demuxer->movi_start);