a declared grant names a capability the script's source never uses

effect/script-grant-unused

Generated from the language definition for ruleset 1.7.

Severity: warning

Since: 1.0

Summary: a declared grant names a capability the script's source never uses

Fix: drop the unused grant

See also: /book/scripts-and-grants