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)