--- a/src/bisection_tree/support.rs Mon Sep 01 13:51:03 2025 -0500 +++ b/src/bisection_tree/support.rs Mon Sep 01 20:55:34 2025 -0500 @@ -4,9 +4,7 @@ use super::aggregator::Bounds; pub use crate::bounds::{GlobalAnalysis, LocalAnalysis}; use crate::loc::Loc; -use crate::mapping::{ - ClosedSpace, DifferentiableImpl, DifferentiableMapping, Instance, Mapping, Space, -}; +use crate::mapping::{ClosedSpace, DifferentiableImpl, DifferentiableMapping, Instance, Mapping}; use crate::maputil::map2; use crate::norms::{Linfinity, Norm, L1, L2}; pub use crate::operator_arithmetic::{Constant, Weighted};