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 15:00:30 -0000
@@ -4,6 +4,7 @@
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <math.h>
 #include "stream.h"
 #include "demuxer.h"
 #include "stheader.h"
@@ -373,7 +465,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);