diff -r c1e8f6342149 -r 632a72b27123 lemon/bits/windows.cc
--- a/lemon/bits/windows.cc	Thu Mar 17 18:12:57 2011 +0100
+++ b/lemon/bits/windows.cc	Tue Apr 12 07:46:34 2011 +0200
@@ -40,7 +40,9 @@
 #else
 #include <unistd.h>
 #include <ctime>
+#ifndef WIN32
 #include <sys/times.h>
+#endif
 #include <sys/time.h>
 #endif