From 075b8a533c23a3a08a95a99b545c4bd5a54326d5 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Fri, 29 Dec 2023 19:39:05 +1100 Subject: [PATCH] Fix clippy warnings --- crates/pindakaas-cadical/vendor/cadical | 1 - crates/pindakaas-intel-sat/vendor/intel_sat | 1 - crates/pindakaas/src/int/enc.rs | 7 +------ 3 files changed, 1 insertion(+), 8 deletions(-) delete mode 160000 crates/pindakaas-cadical/vendor/cadical delete mode 160000 crates/pindakaas-intel-sat/vendor/intel_sat diff --git a/crates/pindakaas-cadical/vendor/cadical b/crates/pindakaas-cadical/vendor/cadical deleted file mode 160000 index 3d346f7a73..0000000000 --- a/crates/pindakaas-cadical/vendor/cadical +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 3d346f7a73080b276ae26fc2d15845747371fa1e diff --git a/crates/pindakaas-intel-sat/vendor/intel_sat b/crates/pindakaas-intel-sat/vendor/intel_sat deleted file mode 160000 index a78cf99dd5..0000000000 --- a/crates/pindakaas-intel-sat/vendor/intel_sat +++ /dev/null @@ -1 +0,0 @@ -Subproject commit a78cf99dd5dff0f0b0c3818cac2aaa1593f573c1 diff --git a/crates/pindakaas/src/int/enc.rs b/crates/pindakaas/src/int/enc.rs index 7f3ea6eb0a..e7b22be215 100644 --- a/crates/pindakaas/src/int/enc.rs +++ b/crates/pindakaas/src/int/enc.rs @@ -531,12 +531,7 @@ impl IntVarEnc { // TODO account for bounds (or even better, create IntVarBin) // TODO old method (which at least respected bounds) if COUPLE_DOM_PART_TO_ORD { - let x_bin = IntVarBin::from_terms( - terms.iter().copied().map(|(l, i)| (l, i)).collect(), - *l, - *u, - String::from("x"), - ); + let x_bin = IntVarBin::from_terms(terms.to_vec(), *l, *u, String::from("x")); let x_ord = IntVarEnc::Ord(IntVarOrd::from_bounds( db, x_bin.lb(),