1 files changed, 4 insertions, 6 deletions
diff --git a/lib/freebl/verified/Hacl_Poly1305_32.h b/lib/freebl/verified/Hacl_Poly1305_32.h
index c552d6f42..84a2f606b 100644
--- a/lib/freebl/verified/Hacl_Poly1305_32.h
+++ b/lib/freebl/verified/Hacl_Poly1305_32.h
@@ -28,14 +28,12 @@
 extern "C" {
 #endif
 
-#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"
-
-extern uint32_t Hacl_Poly1305_32_blocklen;
+#include "Hacl_Krmllib.h"
 
 typedef uint64_t *Hacl_Poly1305_32_poly1305_ctx;