Python: Fix deprecated deprecated

This commit is contained in:
Rasmus Wriedt Larsen
2022-01-19 17:27:19 +01:00
parent 9ec531f040
commit c9e36aaf72
2 changed files with 2 additions and 2 deletions

View File

@@ -119,6 +119,6 @@ deprecated private predicate f_string(ControlFlowNode fromnode, ControlFlowNode
*
* DEPRECATED: Use `ExternalStringDictKind` instead.
*/
deprecated deprecated class StringDictKind extends DictKind {
deprecated class StringDictKind extends DictKind {
StringDictKind() { this.getValue() instanceof StringKind }
}

View File

@@ -134,7 +134,7 @@ deprecated class ExternalUrlParseResult extends ExternalStringSequenceKind {
/* Helper for getTaintForStep() */
pragma[noinline]
deprecated deprecated private predicate json_subscript_taint(
deprecated private predicate json_subscript_taint(
SubscriptNode sub, ControlFlowNode obj, ExternalJsonKind seq, TaintKind key
) {
sub.isLoad() and