From 0ab8597b7874ae5d7943a5e9ae797c81a563c5f4 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Thu, 15 Apr 2021 21:35:43 +0100 Subject: [PATCH] fix: CCRAL.remove does not remove --- src/data/CCRAL.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/data/CCRAL.ml b/src/data/CCRAL.ml index f0e4b313..7e4b4614 100644 --- a/src/data/CCRAL.ml +++ b/src/data/CCRAL.ml @@ -116,7 +116,7 @@ let front_exn l = match l with let rec _remove prefix l i = let x, l' = front_exn l in if i=0 - then List.fold_left (fun l x -> cons x l) l prefix + then List.fold_left (fun l x -> cons x l) l' prefix else _remove (x::prefix) l' (i-1) let remove l i = _remove [] l i