# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1266084605 18000
# Node ID 5eca51fcd55949089a93c9020bdef0fdaa596d8b
# Parent  e1df4c63e3367a2911285664dfccfc74cd22eb2b
Remove Basis.getRequestHeader, because it can subvert cookie security

diff -r e1df4c63e336 -r 5eca51fcd559 lib/ur/basis.urs
--- 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,