diff options
Diffstat (limited to 'server/data')
| -rw-r--r-- | server/data/src/book/diagram_layout.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server/data/src/book/diagram_layout.rs b/server/data/src/book/diagram_layout.rs index cd929f44..e2a18cb1 100644 --- a/server/data/src/book/diagram_layout.rs +++ b/server/data/src/book/diagram_layout.rs @@ -74,6 +74,7 @@ impl Graph { layers.push(next_layer); } + #[allow(clippy::needless_range_loop)] for y in 0..layers.iter().len() { let mut layer = layers[y].clone(); layer.sort_by_cached_key(|&vi| { |