diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-03-07 11:32:00 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-03-07 11:32:00 +0100 |
| commit | 3edb3cb672aa5008225a40020bbc707730897cab (patch) | |
| tree | 36c282c223720e1004cfb3474bf2d831474a7e7a /proofs | |
| parent | c4a3fb87a459ed5afb3a0234d6d29a6c161348c7 (diff) | |
[FIX] Assign fKind after calling Out.buffered-stream-requirements
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions