diff options
author | karthik.bhargavan <karthik.bhargavan@gmail.com> | 2019-04-26 19:16:53 +0200 |
---|---|---|
committer | karthik.bhargavan <karthik.bhargavan@gmail.com> | 2019-04-26 19:16:53 +0200 |
commit | 2fad9a5193c9216ff389a894c0cdc0a12a0c3a56 (patch) | |
tree | e264eb7f0fa33bc0f275132f259ba9ef685426c3 /poly1305-hacl32.c | |
parent | Precompute s for small speedup (diff) | |
download | kbench9000-2fad9a5193c9216ff389a894c0cdc0a12a0c3a56.tar.xz kbench9000-2fad9a5193c9216ff389a894c0cdc0a12a0c3a56.zip |
currentkb/poly-comparison
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)
{
|