diff options
Diffstat (limited to 'html/068random.mu.html')
-rw-r--r-- | html/068random.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/068random.mu.html b/html/068random.mu.html index 05765f4e..ae1f7596 100644 --- a/html/068random.mu.html +++ b/html/068random.mu.html @@ -38,7 +38,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="muControl">break-if</span> generator <span class="Comment"># generator is 0? use real random-number generator</span> result <span class="Special"><-</span> real-random - <span class="muControl">reply</span> result, <span class="Constant">0/false</span> + <span class="muControl">return</span> result, <span class="Constant">0/false</span> <span class="Delimiter">}</span> result, fail?, generator <span class="Special"><-</span> read generator ] |