From ccc3c126378aaa53765f8d69c267c6ffee666acf Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 1 Jun 2010 15:46:24 -0400
Subject: Allow complex attribute records in Tag

---
 src/tag.sml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/tag.sml')

diff --git a/src/tag.sml b/src/tag.sml
index fdc04c81..c9d3cbb8 100644
--- a/src/tag.sml
+++ b/src/tag.sml
@@ -160,8 +160,7 @@ fun exp env (e, s) =
                        tag), loc),
                       xml), s)
                  end
-               | _ => (ErrorMsg.errorAt loc "Attribute record is too complex";
-                       (e, s)))
+               | _ => (e, s))
 
           | EFfiApp ("Basis", "url", [(ERel 0, _)]) => (e, s)
 
-- 
cgit v1.2.3