1 files changed, 1 insertions, 0 deletions
diff --git a/intern.h b/intern.h
index acae58db45..950ae9dad0 100644
--- a/intern.h
+++ b/intern.h
@@ -380,6 +380,7 @@ VALUE rb_length_by_each _((VALUE));
 /* random.c */
 unsigned long rb_genrand_int32(void);
 double rb_genrand_real(void);
+void rb_reset_random_seed(void);
 /* re.c */
 int rb_memcmp _((const void*,const void*,long));
 int rb_memcicmp _((const void*,const void*,long));