diff -r 16d466589b54 -r 64260c0f58eb lemon/bits/windows.cc
--- a/lemon/bits/windows.cc	Wed Aug 25 21:34:58 2010 +0200
+++ b/lemon/bits/windows.cc	Thu Apr 07 16:57:35 2011 +0200
@@ -40,7 +40,9 @@
 #else
 #include <unistd.h>
 #include <ctime>
+#ifndef WIN32
 #include <sys/times.h>
+#endif
 #include <sys/time.h>
 #endif