From 28c2a6681b1643cc5bacda248845156e589825d3 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 6daeda1c..891766be 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