This commit is contained in:
Brian Carroll 2023-09-09 15:03:50 +01:00
parent fc7b831285
commit aa0e975845
No known key found for this signature in database
GPG key ID: 5C7B2EC4101703C0
6 changed files with 18 additions and 53 deletions

View file

@ -95,8 +95,8 @@ pub fn main() -> i32 {
}
}
pub fn evaluate<'a>(
opt_mono: Option<MonomorphizedModule<'a>>,
pub fn evaluate(
opt_mono: Option<MonomorphizedModule<'_>>,
problems: Problems,
opt_var_name: Option<String>,
target: &Triple,