fix a warning - Githubissues

cedar-policy / cedar

Implementation of the Cedar Policy Language

https://www.cedarpolicy.com

Apache License 2.0

892 stars 80 forks source link

fix a warning #1251

Closed cdisselkoen closed 1 month ago

cdisselkoen commented 1 month ago

Description of changes

Issue #, if available

Checklist for requesting a review

The change in this PR is (choose one, and delete the other options):

[x] A change "invisible" to users (e.g., documentation, changes to "internal" crates like cedar-policy-core, cedar-validator, etc.)

I confirm that this PR (choose one, and delete the other options):

[x] Does not update the CHANGELOG because my change does not significantly impact released code.

I confirm that cedar-spec (choose one, and delete the other options):

[x] Does not require updates because my change does not impact the Cedar formal model or DRT infrastructure.

I confirm that docs.cedarpolicy.com (choose one, and delete the other options):

[x] Does not require updates because my change does not impact the Cedar language specification.