chore: remove redundant word in comment (#740)

Signed-off-by: zhoujiaweii <zjwustc@outlook.com>
This commit is contained in:
zhoujiaweii
2025-08-29 19:00:01 +08:00
committed by GitHub
parent ab22f7ac45
commit 7342edde37
+1 -1
View File
@@ -97,7 +97,7 @@ mod test {
_ => panic!("should not happen"), _ => panic!("should not happen"),
}; };
// this is new new style of matching for consts // this is new style of matching for consts
match type_id { match type_id {
kCFNumberFloat32Type => assert!(true), kCFNumberFloat32Type => assert!(true),
_ => panic!("should not happen"), _ => panic!("should not happen"),