From b19cd0db5f83d09e9c8b6afe7ce8143ea382b1bb Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 15 Apr 2021 17:54:18 -0400
Subject: [PATCH] add regression test for #364

---
 src/data/CCRAL.ml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/data/CCRAL.ml b/src/data/CCRAL.ml
index 6daeda1c..f0e4b313 100644
--- a/src/data/CCRAL.ml
+++ b/src/data/CCRAL.ml
@@ -121,6 +121,10 @@ let rec _remove prefix l i =
 
 let remove l i = _remove [] l i
 
+(*$= & ~printer:Q.Print.(list int)
+  [1;2;4] (to_list @@ remove (of_list [1;2;3;4]) 2)
+*)
+
 let rec _map_tree f t = match t with
   | Leaf x -> Leaf (f x)
   | Node (x, l, r) -> Node (f x, _map_tree f l, _map_tree f r)