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 | 5b89513c103be2bde3048d8310469e4a0a7d5d1d (patch) | |
| tree | d477da76701c5aa53d786e821158dbc673245964 /src/tag.sml | |
| parent | 5902e311a458e8a6983bf3fbf7d34c78a3ad229d (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 |