1.1 --- a/lemon/bits/windows.cc	Tue Dec 20 17:35:45 2011 +0100
     1.2 +++ b/lemon/bits/windows.cc	Tue Dec 20 17:36:41 2011 +0100
     1.3 @@ -40,7 +40,9 @@
     1.4  #else
     1.5  #include <unistd.h>
     1.6  #include <ctime>
     1.7 +#ifndef WIN32
     1.8  #include <sys/times.h>
     1.9 +#endif
    1.10  #include <sys/time.h>
    1.11  #endif
    1.12