diff src/tutorial.sml @ 1814:2d9f831d45c9

Update tutorial for Ur/Web changes
author Adam Chlipala <adam@chlipala.net>
date Mon, 03 Sep 2012 09:51:23 -0400
parents c414850f206f
children
line wrap: on
line diff
--- a/src/tutorial.sml	Thu Aug 30 17:58:37 2012 +0400
+++ b/src/tutorial.sml	Mon Sep 03 09:51:23 2012 -0400
@@ -251,13 +251,13 @@
                 val s = readAll inf
                 val _ = Unix.reap proc
 
-                val (befor, after) = Substring.position "<sc>" s
+                val (befor, after) = Substring.position "<body>" s
             in
                 if Substring.isEmpty after then
                     print ("Bad output for " ^ fname ^ "! [1]\n")
                 else
                     let
-                        val after = Substring.slice (after, 4, NONE)
+                        val after = Substring.slice (after, 6, NONE)
                         val (befor, after) = Substring.position "</body>" after
                     in
                         if Substring.isEmpty after then