Update backtrace to 0.3.73 · model-checking/verify-rust-std@cd73cbe

Original file line numberDiff line numberDiff line change

@@ -34,10 +34,10 @@ addr2line = { version = "0.22.0", optional = true, default-features = false }

3434

libc = { version = "0.2.153", default-features = false, features = ['rustc-dep-of-std'], public = true }

3535
3636

[target.'cfg(all(not(target_os = "aix"), not(all(windows, target_env = "msvc", not(target_vendor = "uwp")))))'.dependencies]

37-

object = { version = "0.32.0", default-features = false, optional = true, features = ['read_core', 'elf', 'macho', 'pe', 'unaligned', 'archive'] }

37+

object = { version = "0.36.0", default-features = false, optional = true, features = ['read_core', 'elf', 'macho', 'pe', 'unaligned', 'archive'] }

3838
3939

[target.'cfg(target_os = "aix")'.dependencies]

40-

object = { version = "0.32.0", default-features = false, optional = true, features = ['read_core', 'xcoff', 'unaligned', 'archive'] }

40+

object = { version = "0.36.0", default-features = false, optional = true, features = ['read_core', 'xcoff', 'unaligned', 'archive'] }

4141
4242

[dev-dependencies]

4343

rand = { version = "0.8.5", default-features = false, features = ["alloc"] }