From 03c412ead4c3f61bc85a772cde5bcc1562975b09 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 8 Dec 2024 08:21:20 +0100 Subject: [PATCH] fix build --- src/tools/miri/src/shims/io_error.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tools/miri/src/shims/io_error.rs b/src/tools/miri/src/shims/io_error.rs index 7596db8a1989..acf3f74a93d8 100644 --- a/src/tools/miri/src/shims/io_error.rs +++ b/src/tools/miri/src/shims/io_error.rs @@ -99,8 +99,8 @@ const WINDOWS_IO_ERROR_TABLE: &[(&str, std::io::ErrorKind)] = { ("ERROR_POSSIBLE_DEADLOCK", Deadlock), ("ERROR_DIR_NOT_EMPTY", DirectoryNotEmpty), ("ERROR_CANT_RESOLVE_FILENAME", FilesystemLoop), - ("ERROR_DISK_QUOTA_EXCEEDED", FilesystemQuotaExceeded), - ("WSAEDQUOT", FilesystemQuotaExceeded), + ("ERROR_DISK_QUOTA_EXCEEDED", QuotaExceeded), + ("WSAEDQUOT", QuotaExceeded), ("ERROR_FILE_TOO_LARGE", FileTooLarge), ("ERROR_HOST_UNREACHABLE", HostUnreachable), ("WSAEHOSTUNREACH", HostUnreachable),