change some Exceptions to CatchableError or Defect, fixes #10288 (#14069)

This commit is contained in:
hlaaftana 2020-04-22 17:49:41 +03:00 • committed by GitHub
commit 01523b2b58
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 5 additions and 5 deletions

View file

@ -198,7 +198,7 @@ type
Captures* = distinct RegexMatch
CaptureBounds* = distinct RegexMatch
RegexError* = ref object of Exception
RegexError* = ref object of CatchableError
RegexInternalError* = ref object of RegexError
## Internal error in the module, this probably means that there is a bug