From 1992a18424c51e1d6c5216fdefc4fb6e373cb8e3 Mon Sep 17 00:00:00 2001
From: Gabriel de Perthuis <g2p.code@gmail.com>
Date: Fri, 22 Jan 2021 18:48:01 +0100
Subject: [PATCH] Fix the jwk field (.web_key) to contain a proper JWK

---
 src/jws.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/jws.rs b/src/jws.rs
index b814bffa..2a136cd0 100644
--- a/src/jws.rs
+++ b/src/jws.rs
@@ -624,11 +624,11 @@ pub struct RegisteredHeader {
     #[serde(rename = "jku", skip_serializing_if = "Option::is_none")]
     pub web_key_url: Option<String>,
 
-    /// The JSON Web Key. This is currently not implemented (correctly).
+    /// The JSON Web Key.
     /// Serialized to `jwk`.
     /// Defined in [RFC7515#4.1.3](https://tools.ietf.org/html/rfc7515#section-4.1.3).
     #[serde(rename = "jwk", skip_serializing_if = "Option::is_none")]
-    pub web_key: Option<String>,
+    pub web_key: Option<jwk::JWK<Empty>>,
 
     /// The Key ID. This is currently not implemented (correctly).
     /// Serialized to `kid`.