PY: fix some ql/non-doc-block warnings

This commit is contained in:
Erik Krogh Kristensen
2022-03-11 10:53:54 +01:00
parent 8db51b49f3
commit ddf93b555e
11 changed files with 13 additions and 13 deletions

View File

@@ -66,7 +66,7 @@ predicate passes_open_files(Variable v, ControlFlowNode test, boolean sense) {
)
}
/* Helper for `def_is_open` to give better join order */
// Helper for `def_is_open` to give better join order
private predicate passes_open_files(PyEdgeRefinement refinement) {
passes_open_files(refinement.getSourceVariable(), refinement.getPredecessor().getLastNode(),
refinement.getSense())