Add a midend function to return the current random seed, parallel to

the existing one that returns the game id. No front end has so far
needed this, but one is about to.

[originally from svn r9778]

1 files changed, 1 insertions, 0 deletions

diff --git a/puzzles.h b/puzzles.h
index e8a75c2..fbd1828 100644
--- a/puzzles.h
+++ b/puzzles.h
@@ -251,6 +251,7 @@ config_item *midend_get_config(midend *me, int which, char **wintitle);
 char *midend_set_config(midend *me, int which, config_item *cfg);
 char *midend_game_id(midend *me, char *id);
 char *midend_get_game_id(midend *me);
+char *midend_get_random_seed(midend *me);
 int midend_can_format_as_text_now(midend *me);
 char *midend_text_format(midend *me);
 char *midend_solve(midend *me);