style: cargo clippy

plaans · Oct 29, 2024 · 00d77b5 · 00d77b5
1 parent 60fe545
commit 00d77b5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/examples/knapsack/main.rs b/examples/knapsack/main.rs
@@ -1,6 +1,6 @@
 #![allow(clippy::needless_range_loop)]
 
-use aries::core::{IntCst, Lit, INT_CST_MAX};
+use aries::core::{IntCst, INT_CST_MAX};
 use aries::model::extensions::AssignmentExt;
 use aries::model::lang::linear::LinearSum;
 use aries::model::lang::IVar;

diff --git a/solver/src/reasoners/eq/dense.rs b/solver/src/reasoners/eq/dense.rs
@@ -1213,7 +1213,7 @@ mod tests {
 
     fn random_model(seed: u64) -> Model<String> {
         let mut rng = SmallRng::seed_from_u64(seed);
-        let objects = vec!["alice", "bob", "chloe", "donald", "elon"];
+        let objects = ["alice", "bob", "chloe", "donald", "elon"];
         let num_objects = rng.gen_range(1..5);
         let objects = objects[0..num_objects].to_vec();
         let symbols = SymbolTable::from(vec![("obj", objects.clone())]);
@@ -1225,7 +1225,6 @@ mod tests {
 
         let num_scopes = rng.gen_range(0..3);
         let scopes = (0..=num_scopes)
-            .into_iter()
             .map(|i| {
                 if i == 0 {
                     Lit::TRUE