Temporary: Test hax extraction again.

cryspen · Oct 5, 2023 · 4653947 · 4653947
1 parent 25e725b
commit 4653947
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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},