Add proper error message on digest mismatch in require#915

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

fix_ecscope_digest_mismatch_errorEasyCrypt/easycrypt:fix_ecscope_digest_mismatch_errorCopy head branch name to clipboard