removing stuff

This commit is contained in:
Jakub Doka 2024-10-27 18:37:18 +01:00
parent e8a8fa3eb1
commit 5c82623db9
No known key found for this signature in database
GPG key ID: C6E9A89936B8C143

View file

@ -38,8 +38,6 @@ pub struct Options {
pub fmt: bool,
pub fmt_stdout: bool,
pub dump_asm: bool,
#[deprecated = "no longer has any effect"]
pub optimize: bool,
pub extra_threads: usize,
}
@ -66,7 +64,6 @@ impl Options {
.transpose()?
.map_or(1, NonZeroUsize::get)
- 1,
..Default::default()
})
}
}