diff options
Diffstat (limited to 'html/067random.cc.html')
| -rw-r--r-- | html/067random.cc.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/067random.cc.html b/html/067random.cc.html index 390906b2..6d712c10 100644 --- a/html/067random.cc.html +++ b/html/067random.cc.html @@ -56,7 +56,7 @@ if ('onhashchange' in window) { <span id="L1" class="LineNr"> 1 </span><span class="Delimiter">:(before "End Primitive Recipe Declarations")</span> <span id="L2" class="LineNr"> 2 </span>REAL_RANDOM<span class="Delimiter">,</span> <span id="L3" class="LineNr"> 3 </span><span class="Delimiter">:(before "End Primitive Recipe Numbers")</span> -<span id="L4" class="LineNr"> 4 </span>put<span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">"real-random"</span><span class="Delimiter">,</span> REAL_RANDOM<span class="Delimiter">);</span> +<span id="L4" class="LineNr"> 4 </span><a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">"real-random"</span><span class="Delimiter">,</span> REAL_RANDOM<span class="Delimiter">);</span> <span id="L5" class="LineNr"> 5 </span><span class="Delimiter">:(before "End Primitive Recipe Checks")</span> <span id="L6" class="LineNr"> 6 </span><span class="Normal">case</span> REAL_RANDOM: <span class="Delimiter">{</span> <span id="L7" class="LineNr"> 7 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> @@ -73,7 +73,7 @@ if ('onhashchange' in window) { <span id="L18" class="LineNr">18 </span><span class="Delimiter">:(before "End Primitive Recipe Declarations")</span> <span id="L19" class="LineNr">19 </span>MAKE_RANDOM_NONDETERMINISTIC<span class="Delimiter">,</span> <span id="L20" class="LineNr">20 </span><span class="Delimiter">:(before "End Primitive Recipe Numbers")</span> -<span id="L21" class="LineNr">21 </span>put<span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">"make-random-nondeterministic"</span><span class="Delimiter">,</span> MAKE_RANDOM_NONDETERMINISTIC<span class="Delimiter">);</span> +<span id="L21" class="LineNr">21 </span><a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">"make-random-nondeterministic"</span><span class="Delimiter">,</span> MAKE_RANDOM_NONDETERMINISTIC<span class="Delimiter">);</span> <span id="L22" class="LineNr">22 </span><span class="Delimiter">:(before "End Primitive Recipe Checks")</span> <span id="L23" class="LineNr">23 </span><span class="Normal">case</span> MAKE_RANDOM_NONDETERMINISTIC: <span class="Delimiter">{</span> <span id="L24" class="LineNr">24 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> |