diff options
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 |