chore: clippy lints

chrjabs · Apr 4, 2024 · f78c6d2 · f78c6d2
1 parent 0ea68ca
commit f78c6d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ipasir/src/lib.rs b/ipasir/src/lib.rs
@@ -98,7 +98,7 @@ impl Default for IpasirSolver<'_, '_> {
 
 impl IpasirSolver<'_, '_> {
     fn get_core_assumps(&self, assumps: &[Lit]) -> Result<Vec<Lit>, InvalidApiReturn> {
-        let mut core = Vec::new();
+        let mut core = Vec::with_capacity(assumps.len());
         core.reserve(assumps.len());
         for a in assumps {
             match unsafe { ffi::ipasir_failed(self.handle, a.to_ipasir()) } {