Mercurial > urweb
changeset 1593:7e2655b25ea1
Remove dummy entity
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 06 Nov 2011 08:14:53 -0500 (2011-11-06) |
parents | 1c9f8f06c1d6 |
children | d9de8b3f8167 |
files | xml/parse.sml |
diffstat | 1 files changed, 3 insertions(+), 3 deletions(-) [+] |
line wrap: on
line diff
--- a/xml/parse.sml Sat Nov 05 15:05:13 2011 -0400 +++ b/xml/parse.sml Sun Nov 06 08:14:53 2011 -0500 @@ -55,7 +55,7 @@ else raise Fail "Bad entity expansion [2]" in - print ("\t\t(\"" ^ ent ^ "\", " ^ exp ^ "),\n"); + print ("\t\t(\"" ^ ent ^ "\", " ^ exp ^ ") ::\n"); loop () end | _ => raise Fail "Bad ENTITY line" @@ -66,11 +66,11 @@ end in print "structure Entities = struct\n"; - print "\tval all = [\n"; + print "\tval all =\n"; doFile "xml/xhtml-lat1.ent"; doFile "xml/xhtml-special.ent"; doFile "xml/xhtml-symbol.ent"; - print "\t(\"\", 0)]\n"; + print "\t[]\n"; print "end\n" end