In error messages, use the correct filename casing - Githubissues

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

320 stars 49 forks source link

In error messages, use the correct filename casing #641

Closed strub closed 1 month ago

strub commented 1 month ago

Especially useful on case-insenstive, case-preserving file systems

Fix #640