From 8170439bb98a71b3c53ef3f39e502fc1451aa85e Mon Sep 17 00:00:00 2001
From: Devin Jean <emailcruzjean@yahoo.com>
Date: Thu, 25 Jul 2024 15:08:38 -0500
Subject: [PATCH] clippy fix

---
 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 ffe87f06..a52de25b 100644
--- a/z3/src/ast.rs
+++ b/z3/src/ast.rs
@@ -940,7 +940,7 @@ impl<'ctx> Real<'ctx> {
         }
         .to_str()
         .unwrap();
-        s.strip_suffix("?").unwrap_or(s).to_owned()
+        s.strip_suffix('?').unwrap_or(s).to_owned()
     }
     pub fn approx_f64(&self) -> f64 {
         self.approx(17).parse().unwrap() // 17 decimal digits needed to get full f64 precision