Merge pull request #10486 from erik-krogh/java-unqueryable

Java: Delete some unused code
This commit is contained in:
Erik Krogh Kristensen
2022-09-22 14:21:39 +02:00
committed by GitHub
2 changed files with 1 additions and 5 deletions

View File

@@ -61,7 +61,7 @@ module RegExpFlags {
/**
* Gets the flags for `root`, or the empty string if `root` has no flags.
*/
string getFlags(RegExpTerm root) {
deprecated string getFlags(RegExpTerm root) {
root.isRootTerm() and
result = root.getLiteral().getFlags()
}