diff -r c32171f7cce5 -r ea3ca78873e8 src/types.rs
--- a/src/types.rs	Fri Dec 02 18:08:40 2022 +0200
+++ b/src/types.rs	Fri Dec 02 18:14:03 2022 +0200
@@ -39,22 +39,15 @@
     pub inner_iters : usize,
     /// Current tolerance
     pub ε : F,
-    /// Strict tolerance update if one was used
-    pub maybe_ε1 : Option<F>,
     /// Solve fin.dim problem for this measure to get the optimal `value`.
     pub postprocessing : Option<DiscreteMeasure<Loc<F, N>, F>>,
 }
 
 impl<F, const N : usize> LogRepr for IterInfo<F, N> where F : LogRepr + Float {
     fn logrepr(&self) -> ColoredString {
-        let eqsign = match self.maybe_ε1 {
-            Some(ε1) if ε1 < self.ε => '≛',
-            _ => '=',
-        };
-        format!("{}\t| N = {}, ε {} {:.8}, inner_iters_mean = {}, merged+pruned_mean = {}+{}",
+        format!("{}\t| N = {}, ε = {:.8}, inner_iters_mean = {}, merged+pruned_mean = {}+{}",
                 self.value.logrepr(),
                 self.n_spikes,
-                eqsign,
                 self.ε,
                 self.inner_iters as float / self.this_iters as float,
                 self.merged as float / self.this_iters as float,