changeset 570 | ab6da8cf5ab2 |
parent 524 | 06e0fb20a97c |
child 584 | 33c6b6e755cd |
1.1 --- a/tools/lgf-gen.cc Fri Apr 03 16:58:22 2009 +0100 1.2 +++ b/tools/lgf-gen.cc Mon Apr 06 18:51:04 2009 +0100 1.3 @@ -32,6 +32,7 @@ 1.4 1.5 #include <algorithm> 1.6 #include <set> 1.7 +#include <ctime> 1.8 #include <lemon/list_graph.h> 1.9 #include <lemon/random.h> 1.10 #include <lemon/dim2.h>