1.1 --- a/lemon/bits/windows.cc	Wed Aug 25 21:34:58 2010 +0200
     1.2 +++ b/lemon/bits/windows.cc	Thu Apr 07 16:57:35 2011 +0200
     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