From 1af6d13048de3773149f689de3c07af96db07f1d Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Wed, 23 Sep 2026 02:41:09 -0300 Subject: make scan use rdonly transaction on the cursor to avoid deadlock --- lib/kernel/SubstantialRelation.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/kernel/SubstantialRelation.ml') diff --git a/lib/kernel/SubstantialRelation.ml b/lib/kernel/SubstantialRelation.ml index 1b58e9a..d3f306b 100644 --- a/lib/kernel/SubstantialRelation.ml +++ b/lib/kernel/SubstantialRelation.ml @@ -130,7 +130,7 @@ module Make (S : Abstract.Storage.STORAGE) = struct let scan storage relation ~keep = let open Utilities.Result in - let* tx = S.start storage in + let* tx = S.start_read storage in let* node = tuple_node tx relation in let closed = ref false in let close () = if not !closed then begin closed := true; ignore (S.abort tx) end in -- cgit v1.2.3