diff html.ur @ 18:6cd839818393

Adjust to name change for [Top.id]
author Adam Chlipala <adam@chlipala.net>
date Thu, 29 Dec 2011 14:15:02 -0500
parents 1a915f89f23a
children 693ab4dd1e9e
line wrap: on
line diff
--- a/html.ur	Thu Dec 29 10:10:50 2011 -0500
+++ b/html.ur	Thu Dec 29 14:15:02 2011 -0500
@@ -110,7 +110,7 @@
                                             Good (ats, post) =>
                                             let
                                                 val ats =
-                                                    @map2 [attribute] [option] [id]
+                                                    @map2 [attribute] [option] [ident]
                                                      (fn [t] meta v =>
                                                          case v of
                                                              None => error <xml>Missing attribute {[meta.Nam]}