From e56e947481c7973826f50fae0df894a544681ca5 Mon Sep 17 00:00:00 2001
From: Manuel Barbosa <mbb@fc.up.pt>
Date: Fri, 6 Dec 2024 16:04:23 +0100
Subject: [PATCH] extraction

---
 .../extraction/{jkem_avx2.ec => jkem_avx2_stack.ec}               | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename code/jasmin/mlkem_avx2_stack/extraction/{jkem_avx2.ec => jkem_avx2_stack.ec} (100%)

diff --git a/code/jasmin/mlkem_avx2_stack/extraction/jkem_avx2.ec b/code/jasmin/mlkem_avx2_stack/extraction/jkem_avx2_stack.ec
similarity index 100%
rename from code/jasmin/mlkem_avx2_stack/extraction/jkem_avx2.ec
rename to code/jasmin/mlkem_avx2_stack/extraction/jkem_avx2_stack.ec