Python: make the import of RedosUtil public

This mirrors `SuperlinearBacktracking.qll`
An alternative is to keep it private and import it again
in the query files.
This commit is contained in:
Rasmus Lerchedahl Petersen
2021-07-02 12:32:04 +02:00
parent 77c329fb0f
commit 6f2642607e
2 changed files with 2 additions and 2 deletions

View File

@@ -62,7 +62,7 @@
* a suffix `x` (possible empty) that is most likely __not__ accepted.
*/
private import ReDoSUtil
import ReDoSUtil
/**
* Holds if state `s` might be inside a backtracking repetition.