Remove UINT · model-checking/verify-rust-std@0b22ecb (original) (raw)
2 files changed
lines changed
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -18,7 +18,6 @@ mod windows_sys; | ||
| 18 | 18 | pub use windows_sys::*; |
| 19 | 19 | |
| 20 | 20 | pub type DWORD = c_ulong; |
| 21 | -pub type UINT = c_uint; | |
| 22 | 21 | pub type WCHAR = u16; |
| 23 | 22 | pub type USHORT = c_ushort; |
| 24 | 23 | pub type SIZE_T = usize; |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -383,7 +383,7 @@ pub fn home_dir() -> Option { | ||
| 383 | 383 | } |
| 384 | 384 | |
| 385 | 385 | pub fn exit(code: i32) -> ! { |
| 386 | -unsafe { c::ExitProcess(code as c::UINT) } | |
| 386 | +unsafe { c::ExitProcess(code as u32) } | |
| 387 | 387 | } |
| 388 | 388 | |
| 389 | 389 | pub fn getpid() -> u32 { |