Fixing the free memory of the second goal of byehoare#869

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

byehoare-mem-rebindEasyCrypt/easycrypt:byehoare-mem-rebindCopy head branch name to clipboard