diff options
Diffstat (limited to '060string.mu')
-rw-r--r-- | 060string.mu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/060string.mu b/060string.mu index e6cd72f5..cc180bb1 100644 --- a/060string.mu +++ b/060string.mu @@ -8,13 +8,13 @@ recipe string-equal [ b-len:number <- length *b # compare lengths { - trace [string-equal], [comparing lengths] + trace 99, [string-equal], [comparing lengths] length-equal?:boolean <- equal a-len, b-len break-if length-equal? reply 0 } # compare each corresponding character - trace [string-equal], [comparing characters] + trace 99, [string-equal], [comparing characters] i:number <- copy 0 { done?:boolean <- greater-or-equal i, a-len |