ecall: avoid internal name collision in abstract_pvs#1038

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

ecall-dup-logvarEasyCrypt/easycrypt:ecall-dup-logvarCopy head branch name to clipboard