diff -r 0c8e5c688440 -r f2d6d3446adf tools/lgf-gen.cc
--- a/tools/lgf-gen.cc	Thu Apr 23 10:44:35 2009 +0100
+++ b/tools/lgf-gen.cc	Fri Apr 24 10:15:33 2009 +0200
@@ -720,7 +720,7 @@
     .run();
 
   if (ap["rand"]) {
-    int seed = time(0);
+    int seed = int(time(0));
     std::cout << "Random number seed: " << seed << std::endl;
     rnd = Random(seed);
   }