From 3284dc42d35d40f050ca130780943fbad977e248 Mon Sep 17 00:00:00 2001 From: Mark Date: Mon, 9 Dec 2024 10:00:19 +0000 Subject: [PATCH] Use allow instead of expect to avoid de-facto MSRP bump --- z3/src/ast.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/z3/src/ast.rs b/z3/src/ast.rs index 6507abff..d04e9984 100644 --- a/z3/src/ast.rs +++ b/z3/src/ast.rs @@ -2317,7 +2317,7 @@ pub fn exists_const<'ctx>( /// let f_f_3: ast::Int = f.apply(&[&f.apply(&[&ast::Int::from_u64(&ctx, 3)])]).try_into().unwrap(); /// assert_eq!(3, model.eval(&f_f_3, true).unwrap().as_u64().unwrap()); /// ``` -#[expect(clippy::too_many_arguments)] +#[allow(clippy::too_many_arguments)] pub fn quantifier_const<'ctx>( ctx: &'ctx Context, is_forall: bool,