merge of 4cbdd6e0a0d8c061075b9ed7609a06c4547f67d3

     and 5d396842815593611f0d61762440145d1fc74d5a

--HG--
extra : convert_revision : 4c883eb469d2d251ee8abddbc11ae4005db6da17

1 files changed, 1 insertions, 0 deletions

diff --git a/random.h b/random.h
index 5ec1f24..84a0a39 100644
--- a/random.h
+++ b/random.h
@@ -28,6 +28,7 @@
 struct mp_int;
 
 void seedrandom();
+void reseedrandom();
 void genrandom(unsigned char* buf, int len);
 void addrandom(unsigned char* buf, int len);
 void gen_random_mpint(mp_int *max, mp_int *rand);