changeset 616 | f2d6d3446adf |
parent 612 | 0c8e5c688440 |
child 623 | 7c1324b35d89 |
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 }