diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-11-06 08:14:53 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-11-06 08:14:53 -0500 |
commit | 5dbd0ed0aef7235f81c6824ac745d2a7e3f6252d (patch) | |
tree | c8aaaf2f83a666ed886232e6d6d977696cc204c1 /xml | |
parent | 2818af2ec6161b85d1cfcbd77d9ea965ae40025c (diff) |
Remove dummy entity
Diffstat (limited to 'xml')
-rw-r--r-- | xml/parse.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/xml/parse.sml b/xml/parse.sml index 86ff3682..ad63c851 100644 --- a/xml/parse.sml +++ b/xml/parse.sml @@ -55,7 +55,7 @@ fun main () = 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 @@ fun main () = 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 |