From 8cddc12efdff4fe1742039df493ab5e425a685c4 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Mon, 12 Oct 2026 11:52:01 -0300
Subject: result fold left

---
 lib/evaluators/FOL.ml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'lib/evaluators')

diff --git a/lib/evaluators/FOL.ml b/lib/evaluators/FOL.ml
index d5c6851..92b1c38 100644
--- a/lib/evaluators/FOL.ml
+++ b/lib/evaluators/FOL.ml
@@ -92,15 +92,14 @@ let instantiate within =
 
 let restrict attributes description =
   let open Utilities.Result in
-  BatFingerTree.fold_left
+  Utilities.FingerTree.fold_left
     (fun restricted name ->
-      let* restricted = restricted in
       let* attribute =
         BatMap.String.find_opt name description
         |> Option.to_result ~none:(Error.unknown_attribute name)
       in
       Ok (BatMap.String.add name attribute restricted) )
-    (Ok BatMap.String.empty) attributes
+    BatMap.String.empty attributes
 
 let rec describe =
   let open Utilities.Result in
-- 
cgit v1.2.3