diff options
Diffstat (limited to 'lib/freebl/verified/Hacl_Chacha20Poly1305_256.h')
| -rw-r--r-- | lib/freebl/verified/Hacl_Chacha20Poly1305_256.h | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/lib/freebl/verified/Hacl_Chacha20Poly1305_256.h b/lib/freebl/verified/Hacl_Chacha20Poly1305_256.h index 09ebbbf3d..9a81e01f5 100644 --- a/lib/freebl/verified/Hacl_Chacha20Poly1305_256.h +++ b/lib/freebl/verified/Hacl_Chacha20Poly1305_256.h @@ -28,15 +28,14 @@ extern "C" { #endif -#include "libintvector.h" -#include "kremlin/internal/types.h" -#include "kremlin/lowstar_endianness.h" #include <string.h> -#include <stdbool.h> +#include "krml/internal/types.h" +#include "krml/lowstar_endianness.h" +#include "krml/internal/target.h" -#include "Hacl_Kremlib.h" -#include "Hacl_Chacha20_Vec256.h" #include "Hacl_Poly1305_256.h" +#include "Hacl_Krmllib.h" +#include "Hacl_Chacha20_Vec256.h" void Hacl_Chacha20Poly1305_256_aead_encrypt( |