diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-12-10 15:46:07 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-10 15:46:07 -0500 |
commit | 4a2970f1c3686cdef13f07b93f87adecb3721617 (patch) | |
tree | d477da76701c5aa53d786e821158dbc673245964 /src/tag.sml | |
parent | 031cd0d24354a5840f29c8c6cce0ae09571e891e (diff) |
Bug fixes in redirect-related stuff
Diffstat (limited to 'src/tag.sml')
-rw-r--r-- | src/tag.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tag.sml b/src/tag.sml index 9510d360..f1aef1ce 100644 --- a/src/tag.sml +++ b/src/tag.sml @@ -169,7 +169,7 @@ fun exp env (e, s) = 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 @@ fun exp env (e, s) = let val (e, s) = tagIt (e', Link, "Url", s) in - (#1 e, s) + (EFfiApp ("Basis", "url", [e]), s) end | _ => (e, s) end |