fix: compilation issue w/ refactored type · model-checking/verify-rust-std@1342ef1 (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Commit 1342ef1

fix: compilation issue w/ refactored type

File tree

1 file changed

lines changed

1 file changed

lines changed

Original file line number Diff line number Diff line change
@@ -416,8 +416,8 @@ impl File {
416 416 dwHighDateTime: (info.LastWriteTime >> 32) as u32,
417 417 },
418 418 change_time: Some(c::FILETIME {
419 -dhLowDateTime: info.ChangeTime as c::DWORD,
420 -dhHighDateTime: (info.ChangeTime >> 32) as c::DWORD,
419 +dwLowDateTime: info.ChangeTime as u32,
420 +dwHighDateTime: (info.ChangeTime >> 32) as u32,
421 421 }),
422 422 file_size: 0,
423 423 reparse_tag: 0,