From 254d106c92dcabcdeb83a5d0141deca22ffb79de Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Fri, 9 Oct 2026 01:16:35 -0300
Subject: admission protocol for multigroup denial checks

---
 lib/kernel/Source.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'lib/kernel/Source.ml')

diff --git a/lib/kernel/Source.ml b/lib/kernel/Source.ml
index 16d2b04..f81499c 100644
--- a/lib/kernel/Source.ml
+++ b/lib/kernel/Source.ml
@@ -74,9 +74,7 @@ let bind root ~within evaluator program =
       (fun directory -> Path.lookup directory Path.(language @/ this))
     |> Result.map_error (fun _ -> Error.no_evaluator evaluator)
   in
-  Fun.protect
-    ~finally:(fun () -> Protocols.Handle.release found)
-    (fun () ->
+  Protocols.Handle.releasing found (fun () ->
       let* found = Protocols.Evaluator.require found in
       Protocols.Evaluator.invoke found program ~within )
 
-- 
cgit v1.2.3