diff --git a/cpp/ql/src/Telemetry/DatabaseQuality.qll b/cpp/ql/src/Telemetry/DatabaseQuality.qll index be44a9431aa..04351052986 100644 --- a/cpp/ql/src/Telemetry/DatabaseQuality.qll +++ b/cpp/ql/src/Telemetry/DatabaseQuality.qll @@ -31,8 +31,6 @@ private class SourceExpr extends Expr { SourceExpr() { this.getFile() instanceof RelevantFile } } -predicate find(SourceExpr e) { not hasGoodType(e) } - private predicate hasGoodType(Expr e) { not e.getType() instanceof ErroneousType } module ExprTypeStats implements StatsSig {