From d65bdec20c930a3188d8e0619f861481dabe02ee Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Wed, 23 Sep 2026 02:44:12 -0300 Subject: scan possily leaks its transaction before its first fetch --- lib/kernel/Generator.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/kernel/Generator.ml') diff --git a/lib/kernel/Generator.ml b/lib/kernel/Generator.ml index e4a15f8..f9aafb0 100644 --- a/lib/kernel/Generator.ml +++ b/lib/kernel/Generator.ml @@ -47,8 +47,8 @@ class producer_cursor produce on_release = method! release = (match state with - | `Live _ -> Option.iter (fun f -> f ()) on_release - | `Fresh | `Done -> ()); + | `Fresh | `Live _ -> Option.iter (fun f -> f ()) on_release + | `Done -> ()); state <- `Done end -- cgit v1.2.3