diff options
Diffstat (limited to 'Modules/_hacl/internal/Hacl_SHA2_Generic.h')
| -rw-r--r-- | Modules/_hacl/internal/Hacl_SHA2_Generic.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Modules/_hacl/internal/Hacl_SHA2_Generic.h b/Modules/_hacl/internal/Hacl_SHA2_Generic.h index 23f7cea..6ac47f3 100644 --- a/Modules/_hacl/internal/Hacl_SHA2_Generic.h +++ b/Modules/_hacl/internal/Hacl_SHA2_Generic.h @@ -31,13 +31,10 @@ extern "C" { #endif #include <string.h> -#include "krml/FStar_UInt_8_16_32_64.h" +#include "krml/types.h" #include "krml/lowstar_endianness.h" #include "krml/internal/target.h" - - - static const uint32_t Hacl_Impl_SHA2_Generic_h224[8U] = |