Shared: QL doc improvement.

michaelnebel · michaelnebel · commit f142af50b759 · 2024-09-19T12:20:59.000+02:00
diff --git a/shared/mad/codeql/mad/modelgenerator/ModelGeneratorImpl.qll b/shared/mad/codeql/mad/modelgenerator/ModelGeneratorImpl.qll
@@ -737,7 +737,7 @@ module MakeModelGenerator<
      * be translated into a synthetic field.
      *
      * This is needed because we don't want to include summaries that reads from or
-     * stores into a "dead" synthetic field.
+     * stores into an "internal" synthetic field.
      *
      * Example:
      * Assume we have a type `t` (in this case `t1` = `t2`) with methods `getX` and

Original file line number	Diff line number	Diff line change
`@@ -737,7 +737,7 @@ module MakeModelGenerator<`
`737`	`737`	`* be translated into a synthetic field.`
`738`	`738`	`*`
`739`	`739`	`* This is needed because we don't want to include summaries that reads from or`
`740`		`- * stores into a "dead" synthetic field.`
	`740`	`+ * stores into an "internal" synthetic field.`
`741`	`741`	`*`
`742`	`742`	`* Example:`
`743`	`743`	* Assume we have a type `t` (in this case `t1` = `t2`) with methods `getX` and