src/pdps.rs

changeset 89
8d1c959432c8
parent 78
2a122736e91c
child 91
47d495348e38
--- a/src/pdps.rs	Tue Aug 04 13:46:29 2026 -0500
+++ b/src/pdps.rs	Tue Aug 04 14:12:18 2026 -0500
@@ -212,7 +212,8 @@
         config.if_merge_now(&state, |ins| {
             stats.merged +=
                 prox_penalty.merge_spikes_no_fitness(&mut μ, &mut τv, &μ_base, τ, ε, ins, &reg);
-        });
+            Ok(())
+        })?;
         stats.inserted += μ.len() - μ_base.len();
         stats.pruned += prune_with_stats(&mut μ);
 

mercurial