Skip to content

fix: add a & before memory identifiers in EcPhlEager - #1141

Merged
bgregoir merged 1 commit into
EasyCrypt:mainfrom
loutr:fix-eager-incorrect-memory-names
Sep 16, 2026
Merged

bgregoir merged 1 commit into
EasyCrypt:mainfrom
loutr:fix-eager-incorrect-memory-names

fix: add a `&` before memory identifiers in `EcPhlEager`

7c10f48
Select commit
Loading
Failed to load commit list.
Sign in for the full log view