Skip to content

Commit 95b0701

Browse files
committed
seclic/docs: fix statement definition of roletype
1 parent 4e5de54 commit 95b0701

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

secilc/docs/cil_role_statements.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,7 @@ Authorises a [`role`](cil_role_statements.md#role) to access a [`type`](cil_type
5151
**Statement definition:**
5252

5353
```secil
54-
(role role_id type_id)
54+
(roletype role_id type_id)
5555
```
5656

5757
**Where:**

0 commit comments

Comments
 (0)