Ticket #145: gg_utils.h.patch

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

  • gnugo/utils/gg_utils.h 

    RCS file: /sources/gnugo/gnugo/utils/gg_utils.h,v
retrieving revision 1.20
diff -u -r1.20 gg_utils.h
     
    8989void update_random_seed(void); 
    9090void set_random_seed(unsigned int seed); 
    9191unsigned int get_random_seed(void); 
    92 void reuse_random_seed(void); 
     92inline void reuse_random_seed(void); 
    9393 
    9494 
    9595#endif /* _GG_UTILS_H_ */