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