From fe5b1d3674a7998ffc8689195d63d2c492f74b48 Mon Sep 17 00:00:00 2001 From: markhummel Date: Sun, 25 May 2008 19:20:25 +0000 Subject: [PATCH] default initial seed should be 0 --- src/systask.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/systask.cc b/src/systask.cc index fc0c624..010b33a 100644 --- a/src/systask.cc +++ b/src/systask.cc @@ -170,7 +170,7 @@ struct sysfunction_info sysfunction_info[] = { }; tree current_tf_instance; /* node of systask being executed or compiled */ -int seed = 1; /* seed for random number generator */ +int seed = 0; /* seed for random number generator */ extern s_tfcell veriusertfs[]; /* Hooks into user tfs */ extern s_tfcell verisystfs[]; /* Hooks into internal tfs */