Fix English grammar in matching error messages.#936

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

fix-grammar-in-matching-error-messagesEasyCrypt/easycrypt:fix-grammar-in-matching-error-messagesCopy head branch name to clipboard