From d5372f0d5e47eecf9448f72b6dae2793f6055321 Mon Sep 17 00:00:00 2001
From: Manuel Barbosa <mbb@fc.up.pt>
Date: Tue, 27 Aug 2024 17:47:22 +0100
Subject: [PATCH] Missing file

---
 code/jasmin/mlkem_avx2/extraction/Array1.ec | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 code/jasmin/mlkem_avx2/extraction/Array1.ec

diff --git a/code/jasmin/mlkem_avx2/extraction/Array1.ec b/code/jasmin/mlkem_avx2/extraction/Array1.ec
new file mode 100644
index 00000000..1dcc3280
--- /dev/null
+++ b/code/jasmin/mlkem_avx2/extraction/Array1.ec
@@ -0,0 +1,3 @@
+from Jasmin require import JArray.
+
+clone export PolyArray as Array1  with op size <- 1.