From c2e97a124a064a16b1e67f21dffbb60927c8b37f Mon Sep 17 00:00:00 2001
From: Hugo Heuzard <hugo.heuzard@mlstate.com>
Date: Mon, 12 Sep 2011 13:29:50 +0200
Subject: [PATCH] [fix] UserContext: remove some un-needed directive

---
 stdlib/core/web/context/user_context.opa | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/stdlib/core/web/context/user_context.opa b/stdlib/core/web/context/user_context.opa
index 92e34c47..b90c53b6 100644
--- a/stdlib/core/web/context/user_context.opa
+++ b/stdlib/core/web/context/user_context.opa
@@ -181,12 +181,11 @@ UserContext =
    */
   @server
   execute(action : 'state -> 'b, context : UserContext.t('state)) : 'b =
-    k(cont)= @with_thread_context(ThreadContext.get({from=cont}),
+    k(cont)=
       f(state:'state) : ( -> void) =
         return = action(state)
         -> Continuation.return(cont, return)
       (Cell.call(context, {exec=f}) |> Option.get(_))()
-    )
     @callcc(k)