From bcf59621cadc503030346f16cd3a93a897f84501 Mon Sep 17 00:00:00 2001
From: mamonet <66893036+mamonet@users.noreply.github.com>
Date: Tue, 18 Jul 2023 12:50:15 +0300
Subject: [PATCH] Add internal/Hacl_Spec.h to MSVC

---
 include/msvc/internal/Hacl_Spec.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/include/msvc/internal/Hacl_Spec.h b/include/msvc/internal/Hacl_Spec.h
index fee56d84..e3ddd18f 100644
--- a/include/msvc/internal/Hacl_Spec.h
+++ b/include/msvc/internal/Hacl_Spec.h
@@ -40,6 +40,10 @@ extern "C" {
 #define Spec_Cipher_Expansion_Hacl_CHACHA20 0
 #define Spec_Cipher_Expansion_Vale_AES128 1
 #define Spec_Cipher_Expansion_Vale_AES256 2
+#define Spec_Cipher_Expansion_AESNI_PCLMUL_AES128 3
+#define Spec_Cipher_Expansion_AESNI_PCLMUL_AES256 4
+#define Spec_Cipher_Expansion_M32_AES128 5
+#define Spec_Cipher_Expansion_M32_AES256 6
 
 typedef uint8_t Spec_Cipher_Expansion_impl;