diff options
Diffstat (limited to 'lib/freebl/verified/Hacl_Poly1305_32.c')
| -rw-r--r-- | lib/freebl/verified/Hacl_Poly1305_32.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/freebl/verified/Hacl_Poly1305_32.c b/lib/freebl/verified/Hacl_Poly1305_32.c index 25ee87c1f..8de2eca7f 100644 --- a/lib/freebl/verified/Hacl_Poly1305_32.c +++ b/lib/freebl/verified/Hacl_Poly1305_32.c @@ -23,7 +23,7 @@ #include "Hacl_Poly1305_32.h" -uint32_t Hacl_Poly1305_32_blocklen = (uint32_t)16U; +#include "internal/Hacl_Krmllib.h" void Hacl_Poly1305_32_poly1305_init(uint64_t *ctx, uint8_t *key) |