From 4fded84a49cbc07d69d5c8659a96fb25dc6c07bd Mon Sep 17 00:00:00 2001
From: Rasmus Lerchedahl Petersen <yoff@github.com>
Date: Wed, 14 Jun 2023 21:30:58 +0200
Subject: [PATCH] python: implement missing predicates

---
 .../python/dataflow/new/internal/TypeTrackerSpecific.qll      | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackerSpecific.qll b/python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackerSpecific.qll
index 823e26688da..8817cdf21ce 100644
--- a/python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackerSpecific.qll
+++ b/python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackerSpecific.qll
@@ -207,9 +207,9 @@ private module SummaryTypeTrackerInput implements SummaryTypeTracker::Input {
   // Relating content to summaries
   predicate content = FlowSummary::SummaryComponent::content/1;
 
-  predicate withoutContent = FlowSummary::SummaryComponent::withoutContent/1;
+  SummaryComponent withoutContent(TypeTrackerContent contents) { none() }
 
-  predicate withContent = FlowSummary::SummaryComponent::withContent/1;
+  SummaryComponent withContent(TypeTrackerContent contents) { none() }
 
   predicate return = FlowSummary::SummaryComponent::return/0;