clippy fix

prove-rs · Jul 25, 2024 · 8170439 · 8170439
1 parent d440748
commit 8170439
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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