github
diff --git a/‎shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll
Copy file name to clipboardExpand all lines: shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll
+1-1Lines changed: 1 addition & 1 deletion b/‎shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll
Copy file name to clipboardExpand all lines: shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll
Copy file name to clipboardExpand all lines: shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll
+1-1Lines changed: 1 addition & 1 deletion b/‎shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll
Copy file name to clipboardExpand all lines: shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll
+1-1Lines changed: 1 addition & 1 deletion
@@ -562,7 +562,7 @@ module MakeModelGeneratorFactory<
       private string captureThroughFlow(DataFlowSummaryTargetApi api, boolean preservesValue) {
         exists(string input, string output |
           preservesValue = max(boolean b | captureThroughFlow0(api, _, input, _, output, b)) and
-          result = ModelPrintingSummary::asLiftedTaintModel(api, input, output, preservesValue)
+          result = ModelPrintingSummary::asLiftedModel(api, input, output, preservesValue)
         )
       }
 
 
@@ -97,7 +97,7 @@ module ModelPrintingImpl<ModelPrintingLangSig Lang> {
      * Gets the lifted taint summary model for `api` with `input` and `output`.
      */
     bindingset[input, output, preservesValue]
-    string asLiftedTaintModel(
+    string asLiftedModel(
       Printing::SummaryApi api, string input, string output, boolean preservesValue
     ) {
       result = asModel(api, input, output, preservesValue, true)
Original file line number	Diff line number	Diff line change
`@@ -562,7 +562,7 @@ module MakeModelGeneratorFactory<`
`562`	`562`	`private string captureThroughFlow(DataFlowSummaryTargetApi api, boolean preservesValue) {`
`563`	`563`	`exists(string input, string output \|`
`564`	`564`	`preservesValue = max(boolean b \| captureThroughFlow0(api, _, input, _, output, b)) and`
`565`		`- result = ModelPrintingSummary::asLiftedTaintModel(api, input, output, preservesValue)`
	`565`	`+ result = ModelPrintingSummary::asLiftedModel(api, input, output, preservesValue)`
`566`	`566`	`)`
`567`	`567`	`}`
`568`	`568`