Remove LPOVERLAPPED · model-checking/verify-rust-std@6d037b8 (original) (raw)
2 files changed
lines changed
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -21,7 +21,6 @@ pub type DWORD = c_ulong; | ||
| 21 | 21 | pub type WCHAR = u16; |
| 22 | 22 | pub type ULONG = c_ulong; |
| 23 | 23 | |
| 24 | -pub type LPOVERLAPPED = *mut OVERLAPPED; | |
| 25 | 24 | pub type LPSECURITY_ATTRIBUTES = *mut SECURITY_ATTRIBUTES; |
| 26 | 25 | pub type LPVOID = *mut c_void; |
| 27 | 26 |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -227,7 +227,7 @@ type AlertableIoFn = unsafe extern "system" fn( | ||
| 227 | 227 | BorrowedHandle<'_>, |
| 228 | 228 | c::LPVOID, |
| 229 | 229 | c::DWORD, |
| 230 | - c::LPOVERLAPPED, | |
| 230 | +*mut c::OVERLAPPED, | |
| 231 | 231 | c::LPOVERLAPPED_COMPLETION_ROUTINE, |
| 232 | 232 | ) -> c::BOOL; |
| 233 | 233 |