Changeset 616:f2d6d3446adf in lemon-main for tools/lgf-gen.cc

Timestamp:

04/24/09 10:15:33 (15 years ago)

Author:

Peter Kovacs <kpeter@…>

Branch:

default

Phase:

public

Message:

VS compatibility fix (#268)

File:

• tools/lgf-gen.cc (modified) (1 diff)

tools/lgf-gen.cc

@@ -721 +721 @@
 
   if (ap["rand"]) {
-    int seed = time(0);
+    int seed = int(time(0));
     std::cout << "Random number seed: " << seed << std::endl;
     rnd = Random(seed);