perf(reduction): drop a dead let binding without reducing its value - #1216

perf(reduction): drop a dead let binding without reducing its value#1216

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

fix/dead-let-reductionEasyCrypt/easycrypt:fix/dead-let-reductionCopy head branch name to clipboard