diff -r 78b9fb1f4454 -r 6660ac776acf lemon/bits/windows.cc
--- a/lemon/bits/windows.cc	Thu Mar 17 18:12:03 2011 +0100
+++ b/lemon/bits/windows.cc	Tue Apr 12 08:04:04 2011 +0200
@@ -40,7 +40,9 @@
 #else
 #include <unistd.h>
 #include <ctime>
+#ifndef WIN32
 #include <sys/times.h>
+#endif
 #include <sys/time.h>
 #endif