From ad33454a204aa5791445e7d15f02ba0447fff85e Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Mon, 12 Oct 2026 11:58:25 -0300
Subject: relation scan with enumerable and release

---
 test/unit/kernel/SubstantialRelation.ml | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'test/unit/kernel/SubstantialRelation.ml')

diff --git a/test/unit/kernel/SubstantialRelation.ml b/test/unit/kernel/SubstantialRelation.ml
index b9f87bf..6000e52 100644
--- a/test/unit/kernel/SubstantialRelation.ml
+++ b/test/unit/kernel/SubstantialRelation.ml
@@ -19,11 +19,9 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) =
 
   let enumerate relation =
     let open Utilities.Result in
-    let* enumerable = Protocols.Enumerable.require relation in
-    let* cursor = Protocols.Enumerable.enumerate enumerable in
-    let* scan = Protocols.Cursor.require cursor in
-    let* enumerated = Protocols.Cursor.drain scan () in
-    Protocols.Handle.release cursor;
+    let* enumerated =
+      Protocols.Enumerable.scan relation (fun scan -> Protocols.Cursor.drain scan ())
+    in
     Ok (BatFingerTree.to_list enumerated)
 
   let contain_and_enumerate conn =
-- 
cgit v1.2.3