aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Cursor.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/protocols/Cursor.ml')
-rw-r--r--lib/protocols/Cursor.ml4
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/protocols/Cursor.ml b/lib/protocols/Cursor.ml
index 75dc77d..f9bd697 100644
--- a/lib/protocols/Cursor.ml
+++ b/lib/protocols/Cursor.ml
@@ -29,9 +29,7 @@ let rec next i =
let rec exists i p =
let open Utilities.Result in
let* found = next i in
- match found with
- | None -> Ok false
- | Some tuple -> if p tuple then Ok true else exists i p
+ match found with None -> Ok false | Some tuple -> if p tuple then Ok true else exists i p
let drain i ?(limit = 256) () =
let open Utilities.Result in