Python: Remove deprecated annotations

This commit is contained in:
Taus
2022-03-04 12:30:26 +00:00
committed by GitHub
parent 20710616c5
commit 095f27f294
5 changed files with 6 additions and 6 deletions

View File

@@ -1,7 +1,7 @@
import python
/** A string constant that looks like it may be used in string formatting operations. */
library class PossibleAdvancedFormatString extends StrConst {
class PossibleAdvancedFormatString extends StrConst {
PossibleAdvancedFormatString() { this.getText().matches("%{%}%") }
private predicate field(int start, int end) {