diff options
Diffstat (limited to 'src/boot/me/effect.ml')
| -rw-r--r-- | src/boot/me/effect.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/effect.ml b/src/boot/me/effect.ml index 73797409..d6cfefb8 100644 --- a/src/boot/me/effect.ml +++ b/src/boot/me/effect.ml @@ -28,7 +28,7 @@ let mutability_checking_visitor *) let visit_ty_pre t = match t with - Ast.TY_chan t' when type_has_state t' -> + Ast.TY_chan t' when type_has_state cx t' -> err None "channel of mutable type: %a " Ast.sprintf_ty t' | _ -> () in |