diff --git a/hashes.sh b/hashes.sh
index 31512441..da172989 100644
--- a/hashes.sh
+++ b/hashes.sh
@@ -8,7 +8,7 @@ hashes[FStar]=9820798dcc31cd1ea5c164611a67f58ade0b7655
 branches[FStar]=master
 hashes[hacl-star]=9149b0c26b06a8e06a0920a07c33ddd18d94c519
 branches[hacl-star]=main
-hashes[karamel]=12d008a4204f75a1c408fae36322363bcb55f5a5
+hashes[karamel]=d41086061098b3432cbf17b3b6a32e06ce0ac41f
 branches[karamel]=protz_trait_methods
 hashes[merkle-tree]=99fc1dcf0de8278fbe440e07a892226f5521f38c
 branches[merkle-tree]=main