cfg hax

cryspen · Jan 16, 2025 · 0ef31c7 · 0ef31c7
1 parent aed4d9c
commit 0ef31c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tls13utils.rs b/src/tls13utils.rs
@@ -326,7 +326,7 @@ let update_at_usize_bytes: Rust_primitives.Hax.update_at_tc t_Bytes usize =
 )]
 fn _update_at_usize_bytes_test(b: &mut Bytes) {
     if b.len() > 0 {
-        b[0] = 0
+        b[0] = U8(0)
     };
 }