Skip to content

Commit

Permalink
Use allow instead of expect to avoid de-facto MSRP bump
Browse files Browse the repository at this point in the history
  • Loading branch information
toolCHAINZ committed Dec 9, 2024
1 parent 531708c commit 3284dc4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion z3/src/ast.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down

0 comments on commit 3284dc4

Please sign in to comment.