Changeset 663:f2d6d3446adf in lemon for tools
- Timestamp:
- 04/24/09 10:15:33 (15 years ago)
- Branch:
- default
- Phase:
- public
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tools/lgf-gen.cc
r659 r663 721 721 722 722 if (ap["rand"]) { 723 int seed = time(0);723 int seed = int(time(0)); 724 724 std::cout << "Random number seed: " << seed << std::endl; 725 725 rnd = Random(seed);
Note: See TracChangeset
for help on using the changeset viewer.