lemon/graph_to_eps.h
changeset 2028 d0e8a86a1ff2
parent 1993 2115143eceea
child 2084 59769591eb60
     1.1 --- a/lemon/graph_to_eps.h	Fri Mar 31 12:12:06 2006 +0000
     1.2 +++ b/lemon/graph_to_eps.h	Fri Mar 31 12:51:44 2006 +0000
     1.3 @@ -21,6 +21,10 @@
     1.4  
     1.5  #include <sys/time.h>
     1.6  
     1.7 +#ifdef WIN32
     1.8 +#include <lemon/bits/mingw32_time.h>
     1.9 +#endif
    1.10 +
    1.11  #include<iostream>
    1.12  #include<fstream>
    1.13  #include<sstream>