diff --git a/web/CXM_making_a_web_site.anubis b/web/CXM_making_a_web_site.anubis index 377d422..09691ed 100644 --- a/web/CXM_making_a_web_site.anubis +++ b/web/CXM_making_a_web_site.anubis @@ -711,11 +711,11 @@ public type WebArgValue: public type InitialValue: init(String value). -public define Printable_tree [HTML_Id x . Printable_tree y] = str_pt(x.id, y). -public define Printable_tree [HtmlClass x . Printable_tree y] = str_pt(x.class, y). -public define Printable_tree [WebArgName x . Printable_tree y] = str_pt(x.name, y). -public define Printable_tree [WebArgValue x . Printable_tree y] = str_pt(x.value, y). -public define Printable_tree [InitialValue x . Printable_tree y] = str_pt(x.value, y). +public define Printable_tree [HTML_Id x . Printable_tree y] = str_pt(x.id, y). +public define Printable_tree [HtmlClass x . Printable_tree y] = str_pt(x.class, y). +public define Printable_tree [WebArgName x . Printable_tree y] = str_pt(x.name, y). +public define Printable_tree [WebArgValue x . Printable_tree y] = str_pt(x.value, y). +public define Printable_tree [InitialValue x . Printable_tree y] = str_pt(x.value, y). public type HtmlEvents: -- libgit2 0.21.4