From 1b8d9ca9a6962b748cb5242885ad1a012011cdc1 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 22 Oct 2019 17:31:15 -0500 Subject: [PATCH] style: small fix --- src/data/CCDeque.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/data/CCDeque.ml b/src/data/CCDeque.ml index a9da7861..4c800e42 100644 --- a/src/data/CCDeque.ml +++ b/src/data/CCDeque.ml @@ -370,9 +370,9 @@ let filter_in_place (d:_ t) f : unit = new_cell in let rec loop ~stop_at n : unit = - let n_prev = n.prev in - let n_next = n.next in if n != stop_at then ( + let n_prev = n.prev in + let n_next = n.next in let new_cell = update_local_ n in (* merge into previous cell *) begin match n_prev.cell, new_cell with