Ticket #145: gg_utils.c.patch

File gg_utils.c.patch, 0.5 kB (added by draqo, 2 years ago)

  • gnugo/utils/gg_utils.c 

    RCS file: /sources/gnugo/gnugo/utils/gg_utils.c,v
retrieving revision 1.38
diff -u -r1.38 gg_utils.c
     
    551551/* Restart the pseudo-random sequence with the initialization given 
    552552 * by the random seed. Should be called at each move. 
    553553 */ 
    554 void 
     554inline void 
    555555reuse_random_seed() 
    556556{ 
    557557  gg_srand(random_seed);