diff --git a/src/configure.in b/src/configure.in
index 5e22eb37c4a95028e03c2cbf627644302e3d0a67..c37c48db76afb95bed74216e9af6984a5d119bc0 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -1,4 +1,4 @@
-AC_REVISION("$Id: configure.in,v 1.219 1998/07/22 21:04:52 hubbe Exp $")
+AC_REVISION("$Id: configure.in,v 1.220 1998/07/22 23:23:40 hubbe Exp $")
 AC_INIT(interpret.c)
 AC_CONFIG_HEADER(machine.h)
 
@@ -686,7 +686,7 @@ locale.h sys/resource.h sys/select.h sys/mman.h setjmp.h limits.h pthread.h \
 thread.h dlfcn.h dld.h dl.h sys/times.h sched.h sys/procfs.h sys/param.h \
 winsock.h sys/ioct.h sys/socket.h malloc.h netinet/in.h sys/wait.h winbase.h \
 grp.h pwd.h passwd.h group.h winsock2.h signal.h sys/file.h poll.h sys/poll.h \
-socket.h ieeefp.h fp_class.h ieeefp.h floatingpoint.h)
+socket.h ieeefp.h fp_class.h floatingpoint.h)
 
 AC_CHECK_SIZEOF(char *,4)
 AC_CHECK_SIZEOF(long,4)