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>