tools/lgf-gen.cc
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>