diff -r b53a9068e3e4 -r ab6da8cf5ab2 tools/lgf-gen.cc
--- a/tools/lgf-gen.cc	Fri Apr 03 16:58:22 2009 +0100
+++ b/tools/lgf-gen.cc	Mon Apr 06 18:51:04 2009 +0100
@@ -32,6 +32,7 @@
 
 #include <algorithm>
 #include <set>
+#include <ctime>
 #include <lemon/list_graph.h>
 #include <lemon/random.h>
 #include <lemon/dim2.h>