Permalink
Browse files

[fix] stdlib: a vicious hiding in non-blocking sessions was making th…

…em unsafe
  • Loading branch information...
1 parent 5ddb366 commit e484a03f5605e413864167470e7f3775f563705e François-Régis Sinot committed Aug 10, 2011
Showing with 1 addition and 1 deletion.
  1. +1 −1 stdlib/core/rpc/core/session.opa
@@ -535,7 +535,7 @@ Session = {{
| ~{update} ->
do state_ref.set(update(state_ref.get()))
{continue}
- state_channel = make_stateless(state_handler) /* not concurrent */
+ state_channel = Session.make_stateless(state_handler) /* not concurrent */
implementation =
{

0 comments on commit e484a03

Please sign in to comment.