From c0589dbb336d1c2acb5d424a73727a53e493dfd3 Mon Sep 17 00:00:00 2001 From: Mikael Blomstrand Date: Fri, 8 Jan 2021 14:24:53 +0100 Subject: [PATCH] Revert "Update opaques.md" --- docs/docs/reference/other-new-features/opaques.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/other-new-features/opaques.md b/docs/docs/reference/other-new-features/opaques.md index ea4c3023ec41..5bed38293b21 100644 --- a/docs/docs/reference/other-new-features/opaques.md +++ b/docs/docs/reference/other-new-features/opaques.md @@ -70,7 +70,7 @@ object Access: opaque type Permission <: Permissions & PermissionChoice = Int extension (x: Permissions) - def & (y: Permissions): Permissions = x & y + def & (y: Permissions): Permissions = x | y extension (x: PermissionChoice) def | (y: PermissionChoice): PermissionChoice = x | y extension (granted: Permissions)