Mercurial > urweb
diff src/tag.sml @ 1067:50dd937c4cb9
Bug fixes in redirect-related stuff
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Dec 2009 15:46:07 -0500 |
parents | 217eb87dde31 |
children | 72670131dace |
line wrap: on
line diff
--- a/src/tag.sml Thu Dec 10 15:20:36 2009 -0500 +++ b/src/tag.sml Thu Dec 10 15:46:07 2009 -0500 @@ -169,7 +169,7 @@ let val (e, s) = tagIt (e, Link, "Url", s) in - (#1 e, s) + (EFfiApp ("Basis", "url", [e]), s) end | EApp ((ENamed n, _), e') => @@ -181,7 +181,7 @@ let val (e, s) = tagIt (e', Link, "Url", s) in - (#1 e, s) + (EFfiApp ("Basis", "url", [e]), s) end | _ => (e, s) end