From dae23e536ccae8c4b937bfa051ffad2ea618156b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 24 Nov 2005 17:26:24 +0000 Subject: [PATCH] current-sync-random-number-generator -> current-evt-random-... svn: r1396 --- src/mzscheme/src/numstr.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/mzscheme/src/numstr.c b/src/mzscheme/src/numstr.c index 31df79d250..d9959268d6 100644 --- a/src/mzscheme/src/numstr.c +++ b/src/mzscheme/src/numstr.c @@ -145,9 +145,9 @@ void scheme_init_numstr(Scheme_Env *env) "current-pseudo-random-generator", MZCONFIG_RANDOM_STATE), env); - scheme_add_global_constant("current-sync-pseudo-random-generator", + scheme_add_global_constant("current-evt-pseudo-random-generator", scheme_register_parameter(current_sched_pseudo_random_generator, - "current-sync-pseudo-random-generator", + "current-evt-pseudo-random-generator", MZCONFIG_SCHEDULER_RANDOM_STATE), env); @@ -2078,7 +2078,7 @@ static Scheme_Object *current_pseudo_random_generator(int argc, Scheme_Object *a static Scheme_Object *current_sched_pseudo_random_generator(int argc, Scheme_Object *argv[]) { - return scheme_param_config("current-sync-pseudo-random-generator", + return scheme_param_config("current-evt-pseudo-random-generator", scheme_make_integer(MZCONFIG_SCHEDULER_RANDOM_STATE), argc, argv, -1, pseudo_random_generator_p, "pseudo-random-generator", 0);