diff lib/ur/basis.urs @ 1167:5eca51fcd559

Remove Basis.getRequestHeader, because it can subvert cookie security
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Feb 2010 13:10:05 -0500
parents b7118ffd32ae
children ad9829c3c12c
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Feb 13 10:13:50 2010 -0500
+++ b/lib/ur/basis.urs	Sat Feb 13 13:10:05 2010 -0500
@@ -140,8 +140,6 @@
 
 (** HTTP operations *)
 
-val requestHeader : string -> transaction (option string)
-
 con http_cookie :: Type -> Type
 val getCookie : t ::: Type -> http_cookie t -> transaction (option t)
 val setCookie : t ::: Type -> http_cookie t -> {Value : t,