placate new clippy lint

oxidecomputer · Jul 24, 2024 · dcd7f7d · dcd7f7d
1 parent 1d784b8
commit dcd7f7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dice-mfg-msgs/src/lib.rs b/dice-mfg-msgs/src/lib.rs
@@ -206,7 +206,7 @@ fn platform_id_from_0xv2(s: &str) -> Result<PlatformId, PlatformIdError> {
     bytes[PLATFORM_ID_V1_PREFIX.len()..16]
         .copy_from_slice(&s[PLATFORM_ID_V2_PREFIX.len()..16]);
 
-    bytes[16..20].copy_from_slice(&[b':', b'R', b'R', b'R']);
+    bytes[16..20].copy_from_slice(b":RRR");
     // copy ':SN'
     bytes[20..32].copy_from_slice(&s[20..32]);