Skip to content

Commit

Permalink
rebar3_lint: fix for used_ignored_variable
Browse files Browse the repository at this point in the history
  • Loading branch information
kivra-pauoli committed Aug 29, 2024
1 parent 1d10109 commit b9a7b40
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions test/prop_id_token_jwt.erl
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ prop_valid_signature() ->
end).

prop_invalid_signature() ->
?FORALL({{Jwk, _PublicKeyMap}, {OtherJwk, OtherPublicKeyMap}, Claims},
?FORALL({{Jwk, PublicKeyMap}, {OtherJwk, OtherPublicKeyMap}, Claims},
{key_pair(), key_pair(), jwt_claims()},
begin
#jose_jwk{fields = OtherFields} = OtherJwk,
Expand All @@ -49,7 +49,7 @@ prop_invalid_signature() ->
end).

prop_no_matching_key() ->
?FORALL({[{Jwk, _PublicKeyMap} | OtherKeys], Claims},
?FORALL({[{Jwk, PublicKeyMap} | OtherKeys], Claims},
{non_empty(list(key_pair())), jwt_claims()},
begin
Jwt = id_token_jws:sign(Claims, Jwk),
Expand Down

0 comments on commit b9a7b40

Please sign in to comment.