This commit is contained in:
Rebecca Valentine 2020-03-03 16:41:52 -08:00
Родитель 85f5ad2231
Коммит b33b222db8
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

@ -19,7 +19,7 @@ predicate doesnt_reraise(ExceptStmt ex) {
}
predicate catches_base_exception(ExceptStmt ex) {
ex.getType().refersTo(theBaseExceptionType())
ex.getType().pointsTo(ClassValue::baseException())
or
not exists(ex.getType())
}