diff options
Diffstat (limited to 'spec/system.md')
| -rw-r--r-- | spec/system.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/system.md b/spec/system.md index 81802c83..b62db9e5 100644 --- a/spec/system.md +++ b/spec/system.md @@ -210,7 +210,7 @@ More accurately the modifier `ā€¢_maxTime_` *may* fail if execution of `š¯”½` ta ## Random generation -`ā€¢MakeRand` initializes a deterministic pseudorandom number generator with seed value `š¯•©`. `ā€¢rand`, if it exists, is a globally accessible generator initialized at first use. A random generator has the following member functions: +`ā€¢MakeRand` initializes a deterministic pseudorandom number generator with seed value `š¯•©`. `ā€¢rand`, if it exists, is a globally accessible generator initialized at first use; this initialization should use randomness from an outside source if available. A random generator has the following member functions: | Name | Summary |-----------|------------------------------ |