# HG changeset patch
# User diego
# Date 1166699696 0
# Node ID a38dd0dae3289c430af1586c7feed803f299edd0
# Parent  862df89dda4aaa4ac26c19e7e2d5f26777ae5888
Remove useless #include.

diff -r 862df89dda4a -r a38dd0dae328 file.c
--- a/file.c	Thu Dec 21 11:12:55 2006 +0000
+++ b/file.c	Thu Dec 21 11:14:56 2006 +0000
@@ -22,9 +22,6 @@
 #include <fcntl.h>
 #include <unistd.h>
 #include <sys/time.h>
-#ifndef __MINGW32__
-#include <sys/ioctl.h>
-#endif /* __MINGW32__ */
 
 
 /* standard file protocol */