diff options
Diffstat (limited to 'html/061text.mu.html')
| -rw-r--r-- | html/061text.mu.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/061text.mu.html b/html/061text.mu.html index 84c7c349..589ca78e 100644 --- a/html/061text.mu.html +++ b/html/061text.mu.html @@ -323,8 +323,8 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant">local-scope</span> <span class="Constant">load-ingredients</span> <span class="Comment"># handle null addresses</span> - <span class="muControl">reply-unless</span> a, b - <span class="muControl">reply-unless</span> b, a + <span class="muControl">return-unless</span> a, b + <span class="muControl">return-unless</span> b, a <span class="Comment"># result = new character[a.length + b.length]</span> a-len:number<span class="Special"> <- </span>length *a b-len:number<span class="Special"> <- </span>length *b |