- some clippy fixes

This commit is contained in:
w.pomp committed 2026-07-31 15:32:41 +02:00
1 parent db2b72c3bf
commit f75f12db16
3 files changed
+19 -23

No files matched your search

+1 -1
View File
@@ -442,7 +442,7 @@ where
self.metric.replace(IntMut {
mu: mu.to_vec(),
metric: metric,
metric,
derivative: dmetric.clone(),
});
// self.metric.replace(IntMut {