diff options
Diffstat (limited to 'poly1305-hacl32.c')
-rw-r--r-- | poly1305-hacl32.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/poly1305-hacl32.c b/poly1305-hacl32.c index b2895cc..0fc97ab 100644 --- a/poly1305-hacl32.c +++ b/poly1305-hacl32.c @@ -10,6 +10,7 @@ #define load64_le(x) get_unaligned_le64(x)
#define store64_le(d, s) put_unaligned_le64(s, d)
+#define KRML_CHECK_SIZE(a,b) {}
static uint32_t Lib_Utils_uint32_eq_mask(uint32_t a, uint32_t b)
{
|