# HG changeset patch
# User Tuomo Valkonen <tuomov@iki.fi>
# Date 1769300669 18000
# Node ID e781c543e22891532d235f389ca4f204a8185c33
# Parent  f248f9848c87d7f6d7d2b37cb2372613e6065f84
Add truncate

diff -r f248f9848c87 -r e781c543e228 src/discrete.rs
--- a/src/discrete.rs	Fri Jan 16 14:09:45 2026 -0500
+++ b/src/discrete.rs	Sat Jan 24 19:24:29 2026 -0500
@@ -137,6 +137,12 @@
     //     self.spikes.iter_mut().zip(iter).for_each(|(δ, v)| δ.set_mass(g(δ.get_mass(), v)));
     // }
 
+    /// Truncate to `len`.
+    #[inline]
+    pub fn truncate(&mut self, len: usize) {
+        self.spikes.truncate(len);
+    }
+
     /// Prune all spikes with zero mass.
     #[inline]
     pub fn prune(&mut self) {