1.1 --- a/tools/lgf-gen.cc	Thu Apr 23 10:44:35 2009 +0100
     1.2 +++ b/tools/lgf-gen.cc	Fri Apr 24 10:15:33 2009 +0200
     1.3 @@ -720,7 +720,7 @@
     1.4      .run();
     1.5  
     1.6    if (ap["rand"]) {
     1.7 -    int seed = time(0);
     1.8 +    int seed = int(time(0));
     1.9      std::cout << "Random number seed: " << seed << std::endl;
    1.10      rnd = Random(seed);
    1.11    }