Mercurial > urweb
diff src/tutorial.sml @ 1498:8c32c7191bf0
Make 'static' protocol handle unlimited retry
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 15 Jul 2011 18:55:58 -0400 |
parents | 0b639858200b |
children | 92c929793d0f |
line wrap: on
line diff
--- a/src/tutorial.sml Fri Jul 15 18:45:03 2011 -0400 +++ b/src/tutorial.sml Fri Jul 15 18:55:58 2011 -0400 @@ -79,7 +79,7 @@ else let val (befor', after) = Substring.position " </span><span class=\"comment-delimiter\">*)</span>" - (Substring.slice (after, 64, NONE)) + (Substring.slice (after, 64, NONE)) in if Substring.isEmpty after then TextIO.outputSubstr (outf, source)