# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1275421584 14400
# Node ID 503d4ec934945b01ef252c158b68f0f525a8bdca
# Parent  9fd0cb0ef6e1c0c76c3b99882beae0249b134255
Allow complex attribute records in Tag

diff -r 9fd0cb0ef6e1 -r 503d4ec93494 src/tag.sml
--- 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)