about summary refs log tree commit diff stats
path: root/html/061text.mu.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-11-28 00:42:24 -0800
committerKartik K. Agaram <vc@akkartik.com>2016-11-28 00:42:24 -0800
commit06ef635e8a4cbd17e43561809ed58691da6f18d7 (patch)
treeb046979c511e2658276c7c81280b01374a3c4cac /html/061text.mu.html
parent970df30262537492b5c60dc5c802f9bcca41a4ea (diff)
downloadmu-06ef635e8a4cbd17e43561809ed58691da6f18d7.tar.gz
3699
Delete some obsolete /same-as-ingredient attributes. We should always
let Mu deduce those at this point.
Diffstat (limited to 'html/061text.mu.html')
-rw-r--r--html/061text.mu.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/html/061text.mu.html b/html/061text.mu.html
index 41234594..fdc50f19 100644
--- a/html/061text.mu.html
+++ b/html/061text.mu.html
@@ -482,7 +482,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   len:num <span class="Special">&lt;-</span> length *s
   i:num <span class="Special">&lt;-</span> find-next s, oldc, from
   done?:bool <span class="Special">&lt;-</span> greater-or-equal i, len
-  <span class="muControl">return-if</span> done?, s/same-as-ingredient:0
+  <span class="muControl">return-if</span> done?
   *s <span class="Special">&lt;-</span> put-index *s, i, newc
   i <span class="Special">&lt;-</span> add i,<span class="Constant"> 1</span>
   s <span class="Special">&lt;-</span> replace s, oldc, newc, i