whonore / Coqtail

Interactive Coq Proofs in Vim
MIT License
271 stars 35 forks source link

Address pylint configuration warning #322

Closed whonore closed 1 year ago

whonore commented 1 year ago

pylint: Command line or configuration file:1: UserWarning: Specifying exception names in the overgeneral-exceptions option without module name is deprecated and support for it will be removed in pylint 3.0. Use fully qualified name (maybe 'builtins.Exception' ?) instead.