@@ -257,7 +257,7 @@ predicate invocationMatchesExtraCallSiteFilter(API::InvokeNode invoke, AccessPat
257257pragma [ nomagic]
258258private predicate relevantInputOutputPath ( API:: InvokeNode base , AccessPath inputOrOutput ) {
259259 exists ( string type , string input , string output , string path |
260- ModelOutput:: relevantSummaryModel ( type , path , input , output , _) and
260+ ModelOutput:: relevantSummaryModel ( type , path , input , output , _, _ ) and
261261 ModelOutput:: resolvedSummaryBase ( type , path , base ) and
262262 inputOrOutput = [ input , output ]
263263 )
@@ -289,7 +289,7 @@ private API::Node getNodeFromInputOutputPath(API::InvokeNode baseNode, AccessPat
289289 */
290290predicate summaryStep ( API:: Node pred , API:: Node succ , string kind ) {
291291 exists ( string type , string path , API:: InvokeNode base , AccessPath input , AccessPath output |
292- ModelOutput:: relevantSummaryModel ( type , path , input , output , kind ) and
292+ ModelOutput:: relevantSummaryModel ( type , path , input , output , kind , _ ) and
293293 ModelOutput:: resolvedSummaryBase ( type , path , base ) and
294294 pred = getNodeFromInputOutputPath ( base , input ) and
295295 succ = getNodeFromInputOutputPath ( base , output )
0 commit comments