[fix] UserContext: remove some un-needed directive

MLstate · Sep 12, 2011 · c2e97a1 · c2e97a1
1 parent 14c3e16
commit c2e97a1
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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)