remove redundant check in returnsVoid

This commit is contained in:
Erik Krogh Kristensen
2019-10-04 11:48:35 +02:00
parent 5ce356f509
commit 0b8ea3c504

View File

@@ -15,7 +15,6 @@ import Expressions.ExprHasNoEffect
import Statements.UselessConditional
predicate returnsVoid(Function f) {
not f instanceof ArrowFunctionExpr and
not f.isGenerator() and
not f.isAsync() and
not exists(f.getAReturnedExpr())