Fix a memory leak in LStream. - #22400

Open

ppedrot wants to merge 2 commits into

rocq-prover:masterfrom

ppedrot:lstream-remove-interval-loc

Commits on Aug 24, 2026

Stop relying on absolute positions in LStream.interval_loc and inline it.
ppedrot
committed
dc1b74a
Ad-hoc implementation of LStream without a memory leak.
ppedrot
committed
f32705c