diff --git a/library/psa_util.c b/library/psa_util.c
index e69ff6b..ef9aff1 100644
--- a/library/psa_util.c
+++ b/library/psa_util.c
@@ -364,7 +364,7 @@
                                          unsigned char *der_buf_end)
 {
     unsigned char *p = der_buf_end;
-    int len = raw_len;
+    int len = (int) raw_len;
     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
 
     /* Copy the raw coordinate to the end of der_buf. */