From 46539473760e80e45bbb73952ad208be2193d1a5 Mon Sep 17 00:00:00 2001
From: xvzcf <xvzcf@users.noreply.github.com>
Date: Thu, 5 Oct 2023 11:15:36 -0400
Subject: [PATCH] Temporary: Test hax extraction again.

---
 specs/kyber/src/ind_cpa.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/specs/kyber/src/ind_cpa.rs b/specs/kyber/src/ind_cpa.rs
index 9598dea60..4f7790943 100644
--- a/specs/kyber/src/ind_cpa.rs
+++ b/specs/kyber/src/ind_cpa.rs
@@ -2,6 +2,7 @@ use hacspec_lib::{
     ArrayConversion, ArrayPadding, PanickingIntegerCasts, UpdatableArray, UpdatingArray,
 };
 
+
 use crate::{
     compress::{compress, decompress},
     matrix::{multiply_column_by_row, multiply_matrix_by_column, transpose},