Changeset 608:f2d6d3446adf in lemon-1.1 for tools
- Timestamp:
- 04/24/09 10:15:33 (17 years ago)
- Branch:
- default
- Phase:
- public
- File:
- 
          - 1 edited
 
 - 
          tools/lgf-gen.cc (modified) (1 diff)
 
Legend:
- Unmodified
- Added
- Removed
- 
        tools/lgf-gen.ccr604 r608 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.
      

