changeset 1271:503d4ec93494

Allow complex attribute records in Tag
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jun 2010 15:46:24 -0400
parents 9fd0cb0ef6e1
children 56bd4a4f6e66
files src/tag.sml
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/tag.sml	Tue Jun 01 12:50:53 2010 -0400
+++ b/src/tag.sml	Tue Jun 01 15:46:24 2010 -0400
@@ -160,8 +160,7 @@
                        tag), loc),
                       xml), s)
                  end
-               | _ => (ErrorMsg.errorAt loc "Attribute record is too complex";
-                       (e, s)))
+               | _ => (e, s))
 
           | EFfiApp ("Basis", "url", [(ERel 0, _)]) => (e, s)