lint: Fix clippy warning

plaans · Jan 10, 2025 · 80f2eff · 80f2eff
1 parent a0c4273
commit 80f2eff
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/solver/src/model/extensions/assignments.rs b/solver/src/model/extensions/assignments.rs
@@ -5,7 +5,6 @@ use crate::model::lang::linear::LinearSum;
 use crate::model::lang::{Atom, Cst, IAtom, IVar, Rational, SAtom};
 use crate::model::symbols::SymId;
 use crate::model::symbols::{ContiguousSymbols, TypedSym};
-use num_rational::Rational32;
 use state::Term;
 
 /// Extension methods for an object containing a partial or total assignment to a problem.