From 0eb903d6f6920f702861988809dd12416781b452 Mon Sep 17 00:00:00 2001
From: Mark <mark.denhoed@cs.ox.ac.uk>
Date: Mon, 9 Dec 2024 09:45:33 +0000
Subject: [PATCH] Add expect lint annotation

---
 z3/src/ast.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/z3/src/ast.rs b/z3/src/ast.rs
index 577cfe74..6507abff 100644
--- a/z3/src/ast.rs
+++ b/z3/src/ast.rs
@@ -2317,6 +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)]
 pub fn quantifier_const<'ctx>(
     ctx: &'ctx Context,
     is_forall: bool,