diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-23 02:44:12 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-23 02:44:12 -0300 |
| commit | d65bdec20c930a3188d8e0619f861481dabe02ee (patch) | |
| tree | d77992eb51545fa4d2d7f74168514f21bb22fb62 /lib/kernel/Generator.ml | |
| parent | 1af6d13048de3773149f689de3c07af96db07f1d (diff) | |
| download | RNT-d65bdec20c930a3188d8e0619f861481dabe02ee.tar.gz RNT-d65bdec20c930a3188d8e0619f861481dabe02ee.zip | |
scan possily leaks its transaction before its first fetch
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/Generator.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |