cloop

cryspen · Feb 2, 2025 · 9034028 · 9034028
1 parent 1ff0270
commit 9034028
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/libcrux-ml-dsa/src/simd/portable/encoding/commitment.rs b/libcrux-ml-dsa/src/simd/portable/encoding/commitment.rs
@@ -102,7 +102,7 @@ pub fn serialize_6(simd_unit: &Coefficients, serialized: &mut [u8]) {
     // The commitment has coefficients in [0,43] => each coefficient occupies
     // 6 bits.
 
-    cloop!(
+    cloop! {
         for (i, coefficients) in simd_unit.values.chunks_exact(4).enumerate() {
             hax_lib::loop_invariant!(|i: usize| {
                 fstar!(
@@ -145,7 +145,7 @@ pub fn serialize_6(simd_unit: &Coefficients, serialized: &mut [u8]) {
         "
             );
         }
-    );
+    }
     ()
 }